Specification & Detection of IN Service Interference Using LOTOS. - Ole Christian Dahl; Elie Najm (FORTE, 1993)