The semantics of alarm definitions: enabling systematic reasoning about alarms

Stefan Wallin, Viktor Leijon, Johan Nordlander, Nicklas Bystedt. The semantics of alarm definitions: enabling systematic reasoning about alarms. Int. Journal of Network Management, 22(3):181-198, 2012. [doi]

Abstract

Abstract is missing.