TY - RPRT TI - Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Case AU - H. Sinan Bank AU - Daniel R. Herber AU - Thomas H. Bradley PY - 2026 UR - https://arxiv.org/abs/2603.20151 ID - 2603.20151 ER -