@incollection{Mal14,
title = { The Unmet Challenge of Timed Systems },
author = {Maler, Oded},
year = {2014},
booktitle = {From Programs to Systems},
publisher = {Springer},
team = {TEMPO},
}
