Kotaro Katsuyama Fumiaki Sato Tetsuo Nakakawaji Tadanori Mizuno OSI Testing Environment Based on the Standardized Formalisms. 287-294 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#KatsuyamaSNM90