Verification by abstraction as a preamble for interoperability test suite generation. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat; René Casadessus (PSTV, 1994)