1. Model Checker for UML Statechart Diagrams,
fmt.isti.cnr.it/umc/
2. Le Guennec, A., Dion, B.: Bridging UML and Safety-Critical Software Development Environments, ERTS, Toulouse, France (January 2006)
3. Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous Concurrent Modeling and Design in Java. Memorandum UCB/ERL M04/27, EECS, University of California, Berkeley, CA USA 94720 (July 2004)
4. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proceedings of the IEEE 79(9), 1305–1320 (1991)
5. Raymond, P.: Compilation efficace d’un langage d’eclaratif synchrone: le generateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble (1991)