Hazard analysis in formal specification - Sere, Kaisa; Troubitsyna, Elena (Turku Centre for Computer Science, 1999)