Dependable Architectures Verlässliche Architekturen Architectures sûres de fonctionnement 9.4 Prof. Dr. H. Kirrmann ABB Research Center, Baden, Switzerland.