@inproceedings{DMB+12,
title = { On Temporal Logic and Signal Processing },
author = {Donz\'e, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott},
year = {2012},
booktitle = {ATVA},
team = {TEMPO},
}
