Discrete-Event Systems Modeling and the Model Predictive Allocation Algorithm for Integrated Berth and Quay Crane Allocation | IEEE Journals & Magazine | IEEE Xplore