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