@inproceedings{VoertlerHoecknerHofstedtetal.2016, author = {Thilo V{\"o}rtler and Benny H{\"o}ckner and Petra Hofstedt and Thomas Klotz}, title = {Formal Verification of Software for the Contiki Operating System Considering Interrupts}, booktitle = {18th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems, DDECS 2015}, pages = {295 -- 298}, doi = {10.1109/DDECS.2015.59}, year = {2016}, }