Model checking RSML/sup -e/ requirements | IEEE Conference Publication | IEEE Xplore