Model Checking of Extended OCL Constraints on UML Models in SOCLe. - John Mullins; Raveca Oarga (FMOODS, 2007)