1. ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
2. Telelogic SDT 4.3 manuals, 2002.
3. Cinderella SDL 1.2 manuals, 2002.
4. M. Bozga, S. Graf, L. Mounier, I. Ober, J.-L. Roux, D. Vincent. Timed extensions for SDL. Proceedings of SDL Forum 2001, 2001.
5. G. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers, January 1997.