Modern Formal Methods And Applications by H.A. Gabbar