Semantic enrichment of design requirements using Object Type Libraries for automated verification