Pošljite SMS: FME '96, industrial benefit and advances in formal methods :