Software and systems safety specification and verification (IOS Press, 2011)