@article{BFS+7,
title = {{Rigorous Design of Cyber-Physical Systems} },
author = {Bliudze, Simon and Furic, S{\'e}bastien and Sifakis, Joseph and Viel, Antoine},
year = {2017},
journal = {{Software \& Systems Modeling}},
pages = {1-24},
publisher = {{Springer Verlag}},
team = {rsd, RSD},
}