Ungureanu, Sander, 2017. A layered formal framework for modeling of cyber-physical systems, in: . IEEE.. https://doi.org/10.23919/date.2017.7927270