Design of deadlock prevention supervisor in waterway with multiple locks and canals - Kezić, Danko (Array, 2012)