1. The ATM forum. http://www.atmforum.com/ , 2000.
2. D. Bošnački and D. Dams. Integrating real time into Spin: A prototype implementation. In Proceedings of Formal Description Techniques and Protocol Specification, Testing, and Verification (FORTE/PSTV’98). Kluwer Academic Publishers, 1998.
3. Lect Notes Comput Sci;D. Bošnački,2000
4. M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, and L. Mounier. IF: An intermediate representation and validation environment for timed asynchronous systems. In Wing et al. [25].
5. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.