1. ECX55110001W05A45DS, “Design Specification of CPR1000 Digital I&C V&V Platform”;China Nuclear Power Engineering Co., Ltd,2010
2. MT.23.VC, “TOPMERET Modelling Techniques Handbook”;GSE Systems, Inc,2005
3. MT.14.V001, “REMARK Modelling Techniques Handbook”;Gse Systems, Inc,2008
4. MT.15.VB, “RETACT Modelling Techniques Handbook for PWR”;GSE Systems, Inc,2005
5. MT.12.VB, “Modeling Techniques for Pump Modeling”;GSE Systems, Inc,2005