Niklaus Wirth Embedded Systems and Real-Time Programming. 486-492 2001 conf/emsoft/2001 EMSOFT http://link.springer.de/link/service/series/0558/bibs/2211/22110486.htm db/conf/emsoft/emsoft2001.html#Wirth01