Contains the keyword semantics
PLC Program Translation for Verification Purposes. Periodica Polytechnica, Electrical Engineering and Computer Science. 2017;61(2):151-65. Abstract
The many meanings of UML 2 Sequence Diagrams: a survey. Software and Systems Modeling. 2011;10(4):489-514. Abstract
