Software System Reliability and Security

Manfred Broy , Johannes Grünbauer