Text this: Software and Systems Safety Specification and Verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. [electronic resource] :