The Embedded Systems Design Challenge.

Thomas A. Henzinger, Joseph Sifakis

Browse the full FM paper archive.