Behdad Forghani Srinivas Eswara Vassilios N. Koukoulidis Behçet Sarikaya An Estelle Based Test Generation Tool for Modular Specifications. 7-11 1989 conf/forte/1989 FORTE db/conf/forte/forte1989.html#ForghaniEKS89