1. MarketsandMarkets Research Pvt. Ltd.: Industrial Control Systems (ICS) Security Market worth \$22.2 billion by 2025. https://www.marketsandmarkets.com/PressReleases/industrial-control-systems-security-ics.asp, Last accessed 11 Nov 2021
2. Repository of Cryton. https://gitlabdev.ics.muni.cz/beast-public/cryton, Last Accessed 11 Nov 2021
3. Repository of Tyrant. https://pajda.fit.vutbr.cz/tacr-unis/tyrant, Last Accessed 11 Nov 2021
4. Christopher Ackermann. Recovering views of inter-system interaction behaviors. In: Working Conference on Reverse Engineering 2009, Lille, France, pp. 53–61, vol. 10 (2009)
5. Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A.: Inferring models of concurrent systems from logs of their behavior with csight. In: ICSE ’14, Hyderabad, India, pp. 468–479. ACM (2014)