Virtual laboratory of a Spider Crane: An implementation based on an interoperability protocol | IEEE Conference Publication | IEEE Xplore