10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018 - CREST - A DSL for Reactive Cyber-Physical Systems
archive-ouverte.unige.ch