Algorithms and applications in timed discrete event systems (1993)

by H Braker