Mark Vigder Raymond J. A. Buhr Using LOTOS in a Design Environment. 1-15 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#VigderB91