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