A. Maliuginas and K. Petrauskas, “Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine”, open-series, pp. 98–105, May 2024, doi: 10.15388/LMITT.2024.14.