FME '97: Industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997 ; proceedings - Fitzgerald, John 1965- (Springer, 1997)