D. Kezić, S. Bogdan, and J. Kasum, “Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals”, Trans. Marit. Sci., vol. 1, no. 1, pp. 22–34, Apr. 2012.