@inproceedings{Seidl96Modal,
  author = {Helmut Seidl},
  title = {A {M}odal $\mu$-{C}alculus for {D}urational {T}ransition {S}ystems},
  booktitle = {LICS},
  year = 1996,
  pages = {128-137},
}