Automated verification of proper choreography implementation | IEEE Conference Publication | IEEE Xplore