Justin Sun, Xiaoming Xiao, and Huichao Dong, “From Tell-to-Design to Healthcare Test-Fit Constraint Checking: An LLM-Compatible Requirements-to-Constraints Framework”, JACS, vol. 3, no. 11, pp. 52–67, Nov. 2023, doi: 10.69987/JACS.2023.31105.