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
U6  - http://dx.doi.org/10.1109/SIES.2007.4297337
SP  - 209
EP  - 216
PB  - IEEE Computer Society Press
ER  -