Brezočnik, Z., Vlaovič, B., Vreže, A.: Model Checking using Spin and SpinRCP. Informacije MIDEM, Journal of Microelectronics, Electronic Components and Materials, vol. 43, no. 4, pp. 235–250, (2013), http://www.midem-drustvo.si/Journal%20papers/MIDEM_43%282013%294p235.pdf.