1. Wikipedia the Free Encyclopedia.2017 Myanmar Air Force Shaanxi Y‐8 Crash.2020. Available at:https://en.wikipedia.org/wiki/2017_Myanmar_Air_Force_Shaanxi_Y-8_crash. Accessed August 4 2017.
2. Simon Hradecky.Crash: Flydubai B738 at Rostov on Don on Mar 19th 2016 Lost Height on Go Around After Stabilizer Moved Nose Down Following Holding for 2 Hours.2016. Available at:http://www.avherald.com/h?article=495997e2&opt=0. Accessed March 21 2016.
3. BBC News.Russia Plane Crash: ‘Terror Act’ Downed A321 Over Egypt's Sinai.2015. Available at:http://www.bbc.com/news/world-europe-34840943. Accessed March 21 2016.
4. WongWE DebroyV RestrepoA.The Role of Software in Recent Catastrophic Accidents. IEEE Reliability Society 2009 Annual Technology Report.2009:1‐8.
5. Modeling of Safety-Critical Systems Using Petri Nets