Specification & Detection of IN Service Interference Using LOTOS