I. Konnov, J. Kukovec, and T. H. Tran, APALACHE BmcMT (development version, 2018.

J. Kukovec, T. H. Tran, I. Konnov, ;. , T. et al., Extracting symbolic transitions from TLA + specifications, ABZ 2018, 6th International ABZ Conference ASM, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01871131

S. Merz and H. Vanzetto, Encoding TLA + into many-sorted first-order logic, ABZ, pp.54-69, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01244627