Marc Phalippou Roland Groz From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. 175-190 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#PhalippouG90