T. Winkler, J. Tokarczyk, and S. Bojara, “Use of reverse engineering method in verification of virtual prototypes”, CAMES, vol. 15, no. 1, pp. 53–66, Aug. 2022, Accessed: Jan. 26, 2025. [Online]. Available: https://cames3.ippt.pan.pl/index.php/cames/article/view/780