1. Stephen A. Jacklin, Survey of verification and validation techniques for small satellite software development, in: Proceedings. Space Tech Expo Conference, 2015.
2. European Cooperation for Space Standardization, https://ecss.nl/.
3. FDI (R) for satellites: How to deal with high availability and robustness in the space domain?;Olive;Int. J. Appl. Math. Comput. Sci.,2012
4. Single Event Effects in Aerospace;Petersen,2011
5. Ariane 5 flight 501 failure report;Lions,1996