Hubert Baumeister Alexander Knapp Martin Wirsing Property-Driven Development. 96-102 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.35 db/conf/sefm/sefm2004.html#BaumeisterKW04