Embedded systems design - Scientific challenges and work directions.

Joseph Sifakis

Browse the full FMCAD paper archive.