Jeremy Bryans, Richard John Payne, Jon Holt, Simon Perry. Semi-formal and formal interface specification for system of systems architecture. In IEEE International Systems Conference, SysCon 2013, Orlando, FL, USA, April 15-18, 2013. pages 612-619, IEEE, 2013. [doi]
Abstract is missing.