@phdthesis{Voertler2018, author = {Thilo V{\"o}rtler}, title = {Verification of software for Contiki-based low-power embedded systems using software model checking}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, year = {2018}, }