@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}, }