The semantics of alarm definitions: enabling systematic reasoning about alarms. - Stefan Wallin; Viktor Leijon; Johan Nordlander; Nicklas Bystedt (Int. J. Netw. Manag., 2012)