Thomas S. Cook, Doron Drusinsky, Man-tak Shing. Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. In 2nd IEEE International Conference on System of Systems Engineering, SoSE 2007, San Antonio, TX, USA, 16-18 April 2007. pages 1-6, IEEE, 2007. [doi]
Abstract is missing.