Felix C. Gärtner
Darmstadt University of Technology, Germany
F. C. Gärtner: Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification /jucs_5_10/transformational_approaches_to_the