RT DF A1 Nunes, Ivan De Oliveira. T1 Verifiable Integrity and Availability for Code and Execution in Simple Embedded Systems