Email Record: Applied formal methods - FM-Trends 98 :