@inproceedings{VoertlerHoecknerHofstedtetal.2016, author = {Thilo V{\"o}rtler and Benny H{\"o}ckner and Petra Hofstedt and Thomas Klotz}, title = {Formale Verifikation von eingebetteter Software f{\"u}r das Betriebssystem Contiki unter Ber{\"u}cksichtigung von Interrupts}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. M{\"a}rz 2015}, pages = {20 -- 29}, year = {2016}, }