2025-10-292025-10-29https://hdl.handle.net/11420/5834228th Forum on Specification and Design Language, FDL 2025Conference