Formal Verification of ASM Models Using TLA+. - Hocine El-Habib Daho; Djilali Benhamamouch (ABZ, 2008)