Ein System zur Erstellung, Pflege und Analyse von Spezifikationen: LITOR-A.