Model-Driven Design and Verification of Autonomous Berthing and Unberthing of Ships | IEEE Conference Publication | IEEE Xplore