Jan Magott Pawel Skrobanek Semantics and Execution Time of New Timed Statecharts. 387-414 2016 147 Fundam. Informaticae 4 https://doi.org/10.3233/FI-2016-1414 db/journals/fuin/fuin147.html#MagottS16