A control system development environment for AURORA's semi-autonomous robotic airship | IEEE Conference Publication | IEEE Xplore