PUBLICATION: Finding software bugs in embedded devices © Springer. Personal use of this material is permitted. The definitive version of this paper was published in and is available at : https://doi.org/10.1007/978-3-030-10591-4_11 Document