Patrick Cousot Radhia Cousot Verification of Embedded Software: Problems and Perspectives. 97-113 2001 conf/emsoft/2001 EMSOFT http://link.springer.de/link/service/series/0558/bibs/2211/22110097.htm db/conf/emsoft/emsoft2001.html#CousotC01