Template for the CyberResidencesOCL project: creating USE OCL specification for the CyberResidences case study.