Model Checking RAISE Applicative Specifications | IEEE Conference Publication | IEEE Xplore