Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
scientific article; zbMATH DE number 1868264