Formal Methods to Assist Conformance Testing. A Case Study. - Clazien D. Wezeman; S. Batley; J. Lynch (FORTE, 1990)