Validated Designs for Object-oriented Systems - Fitzgerald, John (Springer-Verlag London Limited, 2005)