1. Aeroflex Gaisler, A.B., Goteborg, Sweden: GRLIB IP Library User’s Manual, April 2014
2. Lecture Notes in Computer Science;PJ Antsaklis,1993
3. ARM: ARM CoreSight Architecture Specification, 2.0 edn., September 2013
4. Backasch, R., Hochberger, C., Weiss, A., Leucker, M., Lasslop, R.: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electron. Syst. (TODAES) 18(2), 18 (2013)
5. Callow, G., Watson, G., Kalawsky, R.: System modelling for run-time verification and validation of autonomous systems. In: Proceeding of 5th International Conference on System of Systems Engineering, Loughborough, UK, pp. 1–7, June 2010