Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. - Florence Maraninchi; Ludovic Samper; Kevin Baradon; Antoine Vasseur (SLA++P@ETAPS, 2007)