Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. - Maliuginas, Andrius; Petrauskas, Karolis (Vilnius University Open Series, 2024)