Validated Designs for Object-oriented Systems - Fitzgerald, John; Larsen, Peter Gorm; Mukherjee, Paul; Plat, Nico; Verhoef, Marcel (Springer London, 2005)