@article{Łabiak:2020,
author
=
"G.Łabiak and M.Węgrzyn and A.Munoz and G.Bazydło",
title
=
"Dual-model approach for safety-critical embedded systems",
journal
=
"Microprocessors and Microsystems",
volume
=
"Vol. 72",
pages
=
"1--11",
year
=
"2020",
}