Migrating from Monoliths to Microservices: Enforcing Correct Coordination | IEEE Conference Publication | IEEE Xplore