selected publications chapter Proving Local Invariants in ASTDs. Lecture notes in computer science. 228-246. 2023