@Article{FR10-TOCL10, author = {Carlo A. Furia and Matteo Rossi}, title = {A Theory of Sampling for Continuous-Time Metric Temporal Logic}, journal = {ACM Transactions on Computational Logic}, volume = {12}, number = {1}, year = {2010}, pages = {1--40}, publisher = {ACM}, month = {October}, note = {Article 8}, urltopdf = {/people/furia/pubs/tocl10-samplingMTL.pdf}, acm = {http://doi.acm.org/10.1145/1838552.1838560} }