Real-time constraints with the OCL | IEEE Conference Publication | IEEE Xplore