Specifying system behavior in CPA | IEEE Conference Publication | IEEE Xplore