1. Anureev, I.S.: Operational ontological approach to formal programming language specification. Prog. Comput. Softw. 35(1), 35–42 (2009)
2. Belevantsev, A., Avetisyan, A.: Multi-level static analysis for finding error patterns and defects in source code. In: Petrenko, A., Voronkov, A. (eds.) PSI 2017, LNCS, vol. 10742. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74313-4_3
3. Bodin, E.V., Garanina, N.O., Shilov, N.V.: Mars Robot puzzle (a multiagent approach to the Dijkstra problem). Model. Anal. Inform. Syst. 18(2), 113–128 (2011) (In Russian)
4. Burmyakov, A., Nikolić, B.: An exact comparison of global, partitioned, and semi-partitioned fixed-priority real-time multiprocessor schedulers. J. Syst. Arch. 121, 102313 (2021)
5. Carrasquel Gamez, J.C., Lomazova, I.A., Rivkin, A.: Modeling trading systems using Petri net extensions. In: Proceedings of the International Workshop on Petri Nets and Software Engineering Co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), vol. 2651, pp. 118–137. CEUR Workshop Proceedings (2020)