@techreport{Seidl95Modal,
  author = {Helmut Seidl},
  title = {A {M}odal µ-{C}alculus for {D}urational {T}ransition {S}ystems},
  year = 1995,
  series = {Forschungsbericht},
  volume = {95-08},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}