Understanding formal methods - Monin, Jean Francois, 1960-; Hinchey, Michael G. (Michael Gerard) , 1969- (Springer, 2003)