GROBELNA, I.. Scratch-based User-friendly Requirements Definition for Formal Verification of Control Systems. Vilnius University Press, June 2020, doi:10.15388/infedu.2020.11.