Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel. Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation.
Software and Systems Modeling, Springer Verlag, In press, Software and System Modeling, 18 (3), pp.1613--1636.
⟨10.1007/s10270-017-0642-5⟩.
⟨hal-01636392⟩