2023-11-162023-11-16https://hdl.handle.net/11420/44190Forum on Specification and Design Languages, FDL 2023Conference10.15480/882.976510.15480/882.9765