Clazien D. Wezeman S. Batley J. Lynch Formal Methods to Assist Conformance Testing. A Case Study. 157-174 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#WezemanBL90