Winkler, T.; Tokarczyk, J.; Bojara, S. Use of Reverse Engineering Method in Verification of Virtual Prototypes. CAMES 2022, 15 (1), 53-66.