Getting Started with Secure Embedded Systems : Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock - Radovici, Alexandru (Verfasser); Culic, Ioana (Apress, 2022)