Proving Local Invariants in ASTDs. - Quelen Cartellier; Marc Frappier; Amel Mammar (ICFEM, 2023)