M. Tudruj and P. Kacsuk, “Extending GRADE towards explicit process SYNCHRONISATION in parallel programs”, Comput. Inform., vol. 17, no. 5, pp. 507–516, Mar. 2012.