@inproceedings{UM8,
title = {Specifying Timed Patterns using Temporal Logic },
author = {Ulus, Dogan and Maler, Oded},
year = {2018},
booktitle = {Hybrid Systems: Computation and Control ({HSCC})},
pages = {167--176},
team = {TEMPO},
}