Text this: Formal methods for embedded distributed systems :