Getting Started with Secure Embedded Systems : Developing IoT Systems for Micro:bit and Raspberry Pi Pico Using Rust and Tock - Radovici, Alexandru; Culic, Ioana (Berkeley, CA Apress L. P., 2022)