Jens H. Jahnke Jörg Niere Jörg P. Wadsack Automated Quality Analysis of Component Software for Embedded Systems. 18-26 2000 conf/iwpc/2000 IWPC http://computer.org/proceedings/iwpc/0656/06560018abs.htm db/conf/iwpc/iwpc2000.html#JahnkeNW00