1. Bauer, N., Huuck, R., Lukoschus, B., and Engell, S. (2004). A unifying semantics for sequential function charts. volume 3147, 400–418.
2. Interdisciplinary specification of functional structurres for machine design;Brecher,2016
3. Introduction to Discrete Event Systems;Cassandras,2008
4. Priority and abstraction in process algebra;Cleaveland;Information and Computation,2007
5. Symbolic model checking of UML activity diagrams;Eshuis;ACM Transactions on Software Engineering and Methodology (TOSEM),2007