Helen Gill Challenges for Critical Embedded Systems. 7-12 2005 conf/words/2005 WORDS http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.21 db/conf/words/words2005.html#Gill05