αρχείο Email: Formal methods for embedded distributed systems :