Conformance Checking of Communicating Resource Systems with RAs Calculus | IEEE Conference Publication | IEEE Xplore