Formal methods for embedded distributed systems by Fabrice Kordon | Menrva Books | MenrvaBooks