Formal methods: state of the art and new directions - Bowen, Jonathan P.; Siddiqi, Jawed; Boca, Paul (Springer-Verlag, 2010)