Rigorous design of cyber-physical systems - Linking physicality and computation. - Simon Bliudze; Sébastien Furic; Joseph Sifakis; Antoine Viel (Softw. Syst. Model., 2019)