FME'96 : industrial benefit and advances in formal methods - Gaudel, Marie-Claude; Woodwock, James (Lecture notes in computer science ;, 1996)