Andreas Bollin Crossing the Borderline - From Formal to Semi-Formal Specifications. 73-84 2006 SET http://dx.doi.org/10.1007/978-0-387-39388-9_7 conf/ifip2/2006 db/conf/ifip2/set2006.html#Bollin06