Software Systems Safety - Grumberg, O. (IOS Press, 2014)