Dale Scott Caffall, James Bret Michael. Formal methods in a system-of-systems development. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 1856-1863, IEEE, 2005. [doi]
Abstract is missing.