TY  - CHAP
A1  - Schlich, B.
A1  - Salewski, F.
A1  - Kowalewski, S.
T1  - Applying Model Checking to an Automotive Microcontroller Application
T2  - Proc. Industrial Embedded Systems (SIES 07), Lisbon, Portugal
Y1  - 2007
UR  - https://www.hb.fh-muenster.de/opus4/frontdoor/index/index/docId/5997
SP  - 209
EP  - 216
PB  - IEEE Computer Society Press
ER  -