Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems | IEEE Conference Publication | IEEE Xplore