1. Basic Concepts and Taxonomy of\nDependable and Secure Computing;Algirdas Avižienis, Laprie Jean-Claude, Randell Brian, L.C.;IEEE Transactions on Dependable and Secure Computing,2004
2. Anon 2010 Functional Mock-up Interface for Co-Simulation MODELISAR http://creativecommons.org/licenses/by-sa/3.0/legalcode
3. Anon 2011 IEEE Std 1471-2000
4. Association , M. 2005 Modelica specification https://scholar.google.com/scholar?cluster=14771390706047104516&hl=zh-CN&as_sdt=2005&sciodt=0,5
5. Bayer T J Cooney L A, D.C.L. 2010 An operations concept for integrated model-centric engineering at JPL