Eerke A. Boiten John Derrick Graeme Smith Guest Editorial Integrated Formal Methods. 389-389 2005 17 Formal Asp. Comput. 4 http://dx.doi.org/10.1007/s00165-005-0078-5 db/journals/fac/fac17.html#BoitenDS05