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