@article{bliudze:hal-01636392, TITLE = {{Rigorous Design of Cyber-Physical Systems}}, AUTHOR = {Bliudze, Simon and Furic, S{\'e}bastien and Sifakis, Joseph and Viel, Antoine}, URL = {https://inria.hal.science/hal-01636392}, JOURNAL = {{Software and Systems Modeling}}, PUBLISHER = {{Springer Verlag}}, SERIES = {Software and System Modeling}, VOLUME = {18}, NUMBER = {3}, PAGES = {1613--1636}, YEAR = {2019}, DOI = {10.1007/s10270-017-0642-5}, KEYWORDS = {Language embedding ; Cyber-physical systems design ; Structural equational modeling ; Discretization ; Idealization ; Hybrid Dataflow Networks ; Abstraction ; Linear graphs ; Bond graphs ; Modelica}, PDF = {https://inria.hal.science/hal-01636392/file/rsd-cps.pdf}, HAL_ID = {hal-01636392}, HAL_VERSION = {v1}, }