FME '97: Industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997 ; proceedings (Lecture notes in computer science, 1997)