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