VLAOVIČ, Boštjan, VREŽE, Aleksander and BREZOČNIK, Zmago, 2017, Applying automated model extraction for simulation and verification of real-life SDL specification with spin. IEEE access [online]. 2017. Vol. 5, p. 5046–5058. [Accessed 21 January 2025]. DOI 10.1109/ACCESS.2017.2685238. Retrieved from: https://dk.um.si/IzpisGradiva.php?lang=eng&id=67146