1. ARM, AMBA Specification (Rev 2.0) (1999),
http://www.arm.com/products/solutions/AMBA_Spec.html
2. W.O. Cesario, D. Lyonnard, G. Nicolescu, Y. Paviot, S. Yoo, A.A. Jerraya, L. Gauthier, M. Diaz-Nava, Multiprocessor SoC platforms: a component-based design approach. Design Test Comput. IEEE 19(6), 52–63 (2002)
3. Y.-Y. Chen, T.-Y. Juang, Vulnerability Analysis and Risk Assessment for SoCs Used in Safety-Critical Embedded Systems (InTech, 2009)
4. E.M. Clarke, O. Grumberg, D. Peled, Model Checking (MIT Press, Massachusetts, 2000)
5. C.A.M. Dueñas, Verification and test challenges in SoC designs. In SBCCI ’04: Proceedings of the 17th Symposium on Integrated Circuits and System Design (ACM, New York, 2004), p. 9