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