@article{LH95a,
title = {Metric temporal logic with durations },
author = {Lakhnech, Yassine and Hooman, Jozef},
year = {1995},
journal = {Theoretical Computer Science},
pages = {169-199},
volume = {138},
team = {DCS},
}
