Scheduling a steel plant with timed automata (1999)

by Ansgar Fehnker
Venue:In Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA’99). IEEE Computer