translation principles; rigorous interpretation; ESML; extended systems modeling language; graphics-based language; data flow diagram notation; control logic; real-time systems; Petri nets; transformation schema; token game; Petri nets; real-time systems; systems analysis; visual languages
(xsd:string)