Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures | IEEE Conference Publication | IEEE Xplore