,
North-Holland
Science of Computer Programming
Computer Security

Groote, J. F., & van Wamel, J. J. (2001). Analysis of three hybrid systems in timed mu CRL. Science of Computer Programming, 39(2-3), 215–247.