Glenn Callow, Graham Watson, Roy Kalawsky. System modelling for run-time verification and validation of autonomous systems. In 5th International Conference on System of Systems Engineering, SoSE 2010, Loughborough, UK, 22-24 June, 2010. pages 1-7, IEEE, 2010. [doi]
Abstract is missing.