1. Lecture Notes in Control and Information Sciences;R. Alur,1994
2. Lecture Notes in Computer Science;R. Alur,2001
3. Amnell, T., David, A., Fersman, E., Oliver Möller, M., Pettersson, P., Yi, W.: Tools for real-time UML: Formal verification and code synthesis. In: Workshop on Specification, Implementation and Validation of Objectoriented Embedded Systems (SIVOES 2001), Budapest, Hungary, pp. 1–4 (June 2001)
4. Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Transactions on Software Engineering 30(7), 473–487 (2004)
5. Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28 th International Conference on Software Engineering (ICSE), Shanghai, China, pp. 72–81. ACM Press, New York (2006)