J. Cooke Editorial (VSTTE Special Issue). 137-138 2007 19 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-007-0036-5 db/journals/fac/fac19.html#Cooke07a