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