Automatic Assertion of Actor State in Service Oriented Architectures | IEEE Conference Publication | IEEE Xplore