PUBLICATION: Finding software bugs in embedded devices
© Springer. Personal use of this material is permitted. The definitive version of this paper was published in Book Chapter 11 of "Security of Ubiquitous Computing Systems", January 2021, ISBN: 978-3030105907 and is available at : https://doi.org/10.1007/978-3-030-10591-4_11