The Embedded Systems Design Challenge,” (2006)

by T A Henzinger, J Sifakis
Venue:in Proceedings of the 14th International Symposium on Formal Methods, LNCS.