On Codex Prompt Engineering for OCL Generation: An Empirical Study | IEEE Conference Publication | IEEE Xplore