Formal Methods: State of the Art and New Directions - Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed (Springer London : Imprint: Springer, 2010)