Rombach, H.D.Knethen, A. vonKamsties, E.Fehrenbach, M.M.Fehrenbach1999https://publica.fraunhofer.de/handle/publica/273510de004005006Vergleich verschiedener Spezifikationstechniken und -werkzeuge am Beispieldiploma thesis