Algorithms and Applications in Timed Discrete Event Systems (1993)

by H BRAKER