Reference:

Nikola Benes, Jan Kretinsky, Kim Guldstrand Larsen, Mikael H. Moller, and Jiri Srba. Dual-priced modal transition systems with time durations. In Bjørner and Voronkov, pages 122–137.

Suggested BibTeX entry:

@inproceedings{DBLP:conflparBenesKLMS12,
    author = {Nikola Benes and Jan Kretinsky and Kim Guldstrand Larsen and Mikael H. M{o}ller and Jir{i} Srba},
    booktitle = {LPAR},
    editor = {Nikolaj Bj{\o}rner and Andrei Voronkov},
    pages = {122-137},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Dual-Priced Modal Transition Systems with Time Durations},
    volume = {7180},
    year = {2012}
}