1. Zheng H, Li H, Yang Z (2011) Analysis of constellation availability of satellite navigation system. Acospace Contr
2. Li H (2013) Research on spare satellites strategy of navigation constellation based on system availability. In: China Satellite Navigation Conference (CSNC) 2013 Proceedings, Wuhan
3. Analysis techniques for dependability—Petri net techniques. IEC 62551.2012
4. DCPN-based models for dependability assessment. Volume 3, 2002
5. Assessment of Galileo key dependability and safety parameters: a simulation-based approach. In: Proceedings of ION national technical meeting, Long Beach, CA, September 2005