Nutzung von Geometriemodellen zur Absicherung von Software in mechatronischen Produkten. - Frank Schöfer (2005)