Dependable Software Verlässliche Software Logiciel fiable 9.5 Prof. Dr. H. Kirrmann & Dr. B. Eschermann ABB Research Center, Baden, Switzerland Industrial.
