Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System | IEEE Conference Publication | IEEE Xplore