A Benchmarking Framework for Control Methods of Maritime Cranes Based on the Functional Mockup Interface | IEEE Journals & Magazine | IEEE Xplore