Doron Drusinsky, Man-tak Shing. Creation and evaluation of formal specifications for system-of-systems development. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 1864-1869, IEEE, 2005. [doi]
Abstract is missing.