Rechnerunterstützte Spezifikation von Anforderungen für Automatisierungssysteme. - Jovalekić, Silvije (1985)