M. Todd Gamble, Rose F. Gamble. Reasoning about Hybrid System of Systems Designs. In Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), February, 25-29, 2008, Madrid, Spain, Proceedings. pages 154-163, IEEE Computer Society, 2008. [doi]
Abstract is missing.