Validated Designs for Object-oriented Systems (Springer London, 2020)