Hyeonji Lee, Junho Kim, Seungeun Lim, Duhwan Mun. "Design rule formalization from documented requirements for detailed 3D CAD model verification." Scientific Reports (2026). https://doi.org/10.1038/s41598-026-64993-9