Media type: E-Article Title: Formal Framework for Discrete-Event Simulation Contributor: Albert, Vincent; Foucher, Clément Published: Elsevier BV, 2017 Published in: IFAC-PapersOnLine, 50 (2017) 1, Seite 5812-5817 Language: English DOI: 10.1016/j.ifacol.2017.08.535 ISSN: 2405-8963 Keywords: Control and Systems Engineering Origination: Footnote: Access State: Open Access