Ole Christian Dahl Elie Najm Specification & Detection of IN Service Interference Using LOTOS. 53-69 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#DahlN93