Embedded Software Design - Jacob Beningo (Springer, 2022)