Pierre de Saqui-Sannes Jean-Pierre Courtiat René Casadessus Verification by abstraction as a preamble for interoperability test suite generation. 152-166 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#Saqui-SannesCC94