rialto : a bridge between description and implementation of control algorithms for wireless sensor 2005.0
a bonivento , lp carloni , a sangiovanni-vincentelli
proceedings of the 5th acm international conference on & hellip ; ,