P Lenberg,
R Feldt, LGW Tengberg… - Proceedings of the IEEE …, 2020 - dl.acm.org
We are becoming increasingly dependent on software systems also for highly critical tasks
in society. To minimize the risk of failures, regulatory institutions define standards that …