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