Zur Automatisierung des Systementwurfs integrierter Schaltungen - Rust, Stefan (1990)