1 Design Methods for Reactive Systems, R.J. Wieringa Part IV: Behavior Notations Jens Bæk Jørgensen, University of Aarhus.
Elevator Scheduling Lingfeng Luo Zhao Han. Elevator Scheduling Problem Elevator as a control System Behavior depends on programmed algorithms
Elevator Scheduling