1. Mars Climate Orbiter Mishap Investigation Board, Phase 1 Report, November 10, 1999, http://sunnyday.mit.edu/accidents/MCO_report.pdf
2. Promela Manual http://spinroot.com/spin/Man/Intro.html
3. (Eugene N. Parker, 2006), H.L., and McDermott, K.B., “Creating False Memories: Remembering Words Not Presented in Lists,” Journal of Experimental Psychology: Learning Memory, and Cognition, 24, 803–814, 1995
4. Laws of the Game published by the International Football Association Board (IFAB) (https://ussoccer.app.box.com/s/xx3byxqgodqtl1h15865/file/683837728699)
5. Madni, A.M, Sievers, M.W (2018) Model-based systems engineering: Motivation, current status, and research opportunities, Systems Engineering, 21:172–190