Noriyasu Arakawa Marc Phalippou Nathalie Risser Terunao Soneoka Combination of conformance and interoperability testing. 397-412 1992 conf/forte/1992 FORTE db/conf/forte/forte1992.html#ArakawaPRS92