Yoonsik Cheon: Design Assertions: Executable Assertions for Design Constraints. ICCSA (Workshops 5) 2022: 617-631