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