Lubos Brim Modal Logics in Timed Process Algebras. 13-26 1992 conf/napaw/1992 NAPAW db/conf/napaw/napaw1992.html#Brim92