Reasoning about Hybrid System of Systems Designs | IEEE Conference Publication | IEEE Xplore