Abdelgadir Ibrahim Liping Zhao John Kinghorn Embedded Systems Development: Quest for Productivity and Reliability. 23-32 2006 conf/iccbss/2006 ICCBSS http://doi.ieeecomputersociety.org/10.1109/ICCBSS.2006.12 db/conf/iccbss/iccbss2006.html#IbrahimZK06