Algorithms and applications in timed discrete event systems Thesis (1993)

by JG BRAKER