@INPROCEEDINGS{Dagstuhl12,
author = {Kordon, Fabrice and B{\'{e}}rard, B{\'{e}}atrice and Thierry-Mieg, Yann and Ben Ma{\"{\i}}ssa, Yann},
month = jul,
title = {{H}ierarchy is {G}ood {F}or {D}iscrete {T}ime: a {C}ompositional {A}pproach to {D}iscrete {T}ime {V}erification},
booktitle = {{D}agstuhl seminar},
number = {12272},
year = {2012}
}