A language for sequence specification for sequencing autonomous robots skills | IEEE Conference Publication | IEEE Xplore