1. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems;Alur,1993
2. An optimal design of a soaking-pit rolling-mill system;Ashour;Simulation,1972
3. Scheduling and optimisation for the heating of steel soaking pits: A case study for hybrid systems;Linkens;IEE Proceedings A: Science, Measurement, and Technology,1995
4. A novel modelling approach for multi-machine manufacturing systems With mixed-mode behaviour;Linkens;IEE Colloquium on Hybrid Control for Real-til11e Systems,1996
5. Energy savings and productivity increases with computers -- A case study of the steel ingot handling process;Lu;Computers in Industry,1983