Brezočnik, Z., Vlaovič, B., Vreže, A.: SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker. In: Rungta, N., Tkachuk, O. (eds.) SPIN 2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software, San Jose, CA, USA, July 21-23 (2014), pp. 125-128, http://dl.acm.org/citation.cfm?id=2632380.