The description of the work to be done will be detailed later. Feel free to contact for more details if you are interested. The general context: using synchronous languages and tools to program the low-level software of a node used in a sensor network. A sensor network is made of a set of small nodes, each one being an embedded system: there are scarce resources (memory, computing power, energy consumption), and the development of the software depends a lot on the hardware. The existing (...)