Reusable Firmware Development - Jacob Beningo (Springer, 2017)