Verifikation und Validierung: Motivation, Aufgaben und Herausforderungen (2004)Rabe, M.; Junge, M.; Schmuck, T.; Wenzel, S.Conference proceedings article