This paper received the Best Paper Award at the 27th Forum on Specification & Design Languages (FDL 2024). :contentReference[oaicite:0]{index=0}
Add the publication’s full text or supplementary notes here. You can use rich formatting such as including code, math, and images.