1. http://fractal.objectweb.org/tutorial/index.html
2. http://anna.fi.muni.cz/coin/CUmodels/
3. Poetzsch-Heffter, A., Aldrich, J., Barnett, M., Giannakopoulou, D., Leavens, G.T., Sharygina, N.: Challenge Problem SAVCBS 2007 (May 2007), http://www.eecs.ucf.edu/leavens/SAVCBS/2007/challenge.shtml
4. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: LICS 1996. IEEE Computer Society, Los Alamitos (1996)
5. Lecture Notes in Computer Science;T. Arons,2001