A Modal Mu-Calculus for Durational Transition Systems.

Helmut Seidl A Modal Mu-Calculus for Durational Transition Systems. 128-137 1996 LICS db/conf/lics/lics96.html#Seidl96