Networked Embedded Control Systems: from Modelling to Implementation - Di Benedetto, Maria Domenica; Pola, Giordano (Electronic proceedings in theoretical computer science, 2013)