Exploring rust for embedded and critical systems - Pinho, André Brandão de (2020)