Formalisation of a New Weak Semantics for AuDaLa. - Gijs P. Leemrijse; Tom T. P. Franken; Thomas Neele (ATVA (2), 2024)