@Article{VaAkBe-TCS-2017,
    author    = {Vasile, Cristian Ioan and Aksaray, Derya and Belta, Calin},
    title     = {{Time Window Temporal Logic}},
    month     = {August},
    year      = {2017},
    journal   = {Theoretical Computer Science},
    volume    = {691},
    number    = {Supplement C},
    pages     = {27--54},
    note      = {\href{https://doi.org/10.1016/j.tcs.2017.07.012}{doi:10.1016/j.tcs.2017.07.012}}
}