Linköping electronic conference proceedings · 2012 · 28 citations · 8 references
ComputingComputer ScienceDynamical SystemsModel-based Systems EngineeringSystems ModelingAutomata TheoryComputational ModelsFinite AutomataFinite State Machine ModelingFinite-state MachinesModel TheoryState Machine ModelsState MachinesState ModelsState Transition SystemsState-transition ModelsStatechartsTransition Systems
The scope of Modelica has been extended from a language primarily intended for physical systems modeling to modeling of complete systems by allowing the modeling of control systems including state machines.
8
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
A Practical Guide to SysML: The Systems Modeling Language
C.J.H. Mann · Kybernetes · 2009 · 928 citations