J. C. Kelly;Y. S. Sherif
-;-
Detection of cycle in real-time system specification
ACM SIGPLAN Notices