Amir Pnueli Embedded Systems: Challenges in Specification and Verification. 1-14 2002 conf/emsoft/2002 EMSOFT http://link.springer.de/link/service/series/0558/bibs/2491/24910001.htm db/conf/emsoft/emsoft2002.html#Pnueli02