"Automated Quality Analysis of Component Software for Embedded Systems."

Jens H. Jahnke, Jörg Niere, Jörg P. Wadsack (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics