J. Chimiak-Opoka, “OCL Tools Report based on the IDE4OCL Feature Model”, ECEASST, vol. 44, Oct. 2011.