UpKit: An Open-Source, Portable, and Lightweight Update Framework for Constrained IoT Devices. - Antonio Langiu; Carlo Alberto Boano; Markus Schuß; Kay Römer (ICDCS, 2019)