Automated analysis of concurrent systems with the constrained expression toolset | IEEE Journals & Magazine | IEEE Xplore