On the Expressivity of RoCTL* | IEEE Conference Publication | IEEE Xplore