1. R. Alur and D. L. Dill. A Theory of Timed Automata.Theoretical Computer Science, 126:183–235, 1994.

   Google Scholar 

2. A. Bailey, G. A. McCaskill, and G. J. Milne. An Exercise in the Automatic Verification of Asynchronous Designs.Formal Methods in System Design, 4(3):213–242, May 1994.

   Google Scholar 

3. J. Bengtsson, W.O.D. Griffioen, K.J. Kristoffersen, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an Audio Control Protocol with Bus Collision UsingUppaal. InProceedings of the 8th International Conference on Computer-Aided Verification, New Brunswick, USA, 31 July–23 August, 1996, Lecture Notes in Computer Science 1102, pages 244–256, Springer, Berlin, Germany, 1996.

   Google Scholar 

4. D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an Audio Control Protocol. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors,Proceedings of the 3rd School and Symposium on Formal Techniques in Real-Time and Fault tolerant Systems, Lübeck, Germany, September 1994, Lecture Notes in Computer Science 863, pages 170–192, Springer, Berlin, Germany, 1994. Full version as Report CS-R9445, CWI, Amsterdam, The Netherlands, July 1994.

   Google Scholar 

5. A. Cerone, A. J. Cowie, and G. J. Milne. The Circal System In C. Priami, editor,DEMOS at CONCUR96, pages 4–5, Technical Report TR-96-29, University of Pisa, Department of Computer Science, Pisa, Italy, 1996. http://lite.ncstrl.org:3803/Dienst/UI/2.0/Describe/ncstrl.unipi_it%2fTR-96-29

   Google Scholar 

6. A. Cerone, A. J. Cowie, G. J. Milne, and P. A. Moseley. Description and Verification of a Time-Sensitive protocol. Technical Report CIS-96-009, University of South Australia, School of Computer and Information Science, Adelaide, Australia, October 1996. http://www.cis.unisa.edu.au/cgi-bin/techreport?CIS-96-009

   Google Scholar 

7. C. Daws, and S. Yovine. Two Examples of Verification of Multirate Timed Automata with Kronos. InProceedings of the 7th 1995 IEEE Real Time Systems Symposium, Pisa, Italy, December 1995, IEEE Computer Society Press.

   Google Scholar 

8. W.O.D. Griffioen. Proof-checking an Audio Control Protocol with LP. Technical Report CS-R9570, CWI, Department of Software Technology, Amsterdam, The Netherlands, October 1995.

   Google Scholar 

9. P.-H. Ho, and H. Wong-Toi. Automated Analysis of an Audio Control Protocol. InProceedings of the 7th International Conference on Computer-Aided Verification, 1995, Lecture Notes in Computer Science 939, pages 381–394, Springer, Berlin, Germany, 1995.

   Google Scholar 

10. C. A. R. Hoare.Communication Sequential Processes. International Series in Computer Science. Prentice Hall, 1985.

    Google Scholar 

11. K.G. Larsen, P. Pettersson, and W. Yi. Diagnostic Model-checking for Real-Time Systems. InProceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, USA, 22–24 October, 1995.

    Google Scholar 

12. Wenbo Mao.Verification of Concurrent Finite State Systems. PhD thesis, University of Strathclyde, Department of Computer Science, Glasgow, UK, 1992.

    Google Scholar 

13. G. J. Milne. The Formal Description and Verification of Hardware Timing.IEEE Transactions on Computers, 40(7):811–826, July 1991.

    Google Scholar 

14. G. J. Milne.Formal Specification and Verification of Digital Systems. McGraw-Hill, 1994.

    Google Scholar 

15. R. Milner.Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.

    Google Scholar 

16. F. Moller. The Semantics of Circal. Technical Report HDV-3-89, University of Strathclyde, Department of Computer Science, Glasgow, UK, 1989.

    Google Scholar 

Download references