1. von der Beek, M.: Formalization of UML-statecharts. In: Gogolla, M., Kobryn, C. (ed.), Proc. of UML’2001—The Unified Modeling Language, vol. 2185, in LNCS, Springer Verlag, (2001)
2. Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Fataricza, A., Savoia, G.: Dependability analysis in the early phases of UML-based system design. J Comp. Syst. Sci. Eng. 16(5), 265–275 (2001)
3. Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley (2000)
4. Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison-Wesley (1999)
5. Bruel, J.M., Lilius, J., Moreira, A., France, R.B.: Defining precise semantics for UML. In: Malefant, J., Moisan, S., Moreira, A. (eds.) ECOOP 2000 Workshop Reader, vol. 1964 in LNCS. Springer Verlag (2000).