Predicative specification of timed processes
1992 ◽
pp. 603-617