Model transformation from UML state machines to input/output symbolic transition systems / von Christopher Thurnher. 2008
Inhalt