1. IEEE Standard criteria for safety systems for nuclear power generating stations. IEEE Std-603 (2009)
2. IEEE Standard criteria for programmable digital devices in safety systems of nuclear power generating stations. IEEE Std 7-4.3.2-2016 (2016)
3. AERB Safety guide: Safety systems for pressurized heavy water reactors, AERB/NPP-PHWR/SG/D-10, (2005)
4. AERB Safety guide: Computer based systems of pressurized heavy water reactors, AERB/NPP-PHWR/SG/D-25, (2010)
5. P. Feiler, Open source AADL tool environment (OSATE), in AADL Workshop, Paris (2004)