Trusted Safety Critical Systems | Ian Oliver | PADSEC 2021