@InProceedings{FS-TIME14, author = {Carlo A. Furia and Paola Spoletini}, title = {Bounded Variability of Metric Temporal Logic}, booktitle = {Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME'14)}, editor = {Amedeo Cesta and Carlo Combi and Francois Laroussinie}, year = {2014}, month = {September}, publisher = {IEEE Computer Society}, urltopdf={/people/furia/pubs/time14.pdf} }