Štefan Korečko and B. Sobota, “Computer Games as Virtual Environments for Safety-Critical Software Validation”, J. inf. organ. sci. (Online), vol. 41, no. 2, Dec. 2017.