@incollection{CM05,
title = {From Control Loops to Real-Time Programs },
author = {Caspi, Paul and Maler, Oded},
year = {2005},
booktitle = {Handbook of Networked and Embedded Computing Systems},
publisher = {Birkh\"{a}user},
team = {SYNC, TEMPO},
}