@software{lengal_ondrej_2019_3339213, author = {Lengál Ondřej and Holík Lukáš and Vojnar Tomáš and Rogalewicz Adam and Šimáček Jiří and Hruška Martin and Habermehl Peter}, title = {Forester Virtual Machine}, month = jul, year = 2019, publisher = {Zenodo}, doi = {10.5281/zenodo.3339213}, url = {https://doi.org/10.5281/zenodo.3339213} }