@article{Grobelna:2020,
author
=
"I.Grobelna",
title
=
"Scratch-based user-friendly requirements definition for formal verification of control systems",
journal
=
"Informatics in Education",
volume
=
"Vol. 19",
number
=
"iss. 2",
pages
=
"223--238",
year
=
"2020",
}