Design and Verification of Real-Time Systems.

J. V. Phillips, Thomas H. Bredt

Browse the full ICSE paper archive.