Petrucci, N. Machine Safeguarding: Theory, Practice, and Case Studies. JotNAFE 2021, 37.