The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Proceedings of the 14th International Conference on Formal Methods, Springer Nature, 2006, pp. 1–15.