Formal methods for embedded distributed systems | lit.salon