A Pilot Experiment to Assess Interactive OCL Specification in a Real Setting