A Choreography Analysis Approach for Microservice Composition in Cyber-Physical-Social Systems | IEEE Journals & Magazine | IEEE Xplore