Dan Craigen Formal Methods Technology Transfer: Impediments and Innovation (Abstract). 328-332 1995 conf/concur/1995 CONCUR db/conf/concur/concur1995.html#Craigen95 http://dx.doi.org/10.1007/3-540-60218-6_24