Mike Hinchey Michael Jackson Patrick Cousot Byron Cook Jonathan P. Bowen Tiziana Margaria Software engineering and formal methods. 54-59 2008 51 Commun. ACM 9 http://doi.acm.org/10.1145/1378727.1378742 db/journals/cacm/cacm51.html#HincheyJCCBM08