Formal Methods: State of the Art and New Directions - Boca, Paul (Springer-Verlag London, 2010)