Integrated Formal Methods by A. Galloway, Wolfgang Grieskamp & B. Stoddart