Modern formal methods and applications - Gabbar, Hossam A. (Springer, 2006)