Choreonoid: Extensible virtual robot environment built on an integrated GUI framework | IEEE Conference Publication | IEEE Xplore