Formalization of UML Profile for Safety Critical Systems
KOMÁREK, M. Formalization of UML Profile for Safety Critical Systems. In: Proceedings of Workshop 2007. Workshop 2007, Praha, 2007-02-19/2007-02-23. Praha: Czech Technical University in Prague, 2007. p. 108-109. ISBN 978-80-01-03667-9.