- Transformation of Relationships from UML/OCL to SQL2011 | Matematicko-fyzikální fakulta
- Validation of stereotypes' usage in UML class model by generated OCL constraints2012 | Matematicko-fyzikální fakulta
- Rekonstrukce OCL z SQL2010 | Matematicko-fyzikální fakulta
- Using OCL in Model Validation According to Stereotypes2012 | Matematicko-fyzikální fakulta