Αποστολή με SMS: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods