Modern Formal Methods and Applications - Gabbar, Hossam A. (Springer, 2006)