TY  - RPRT
TI  - Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
AU  - Raimundo Barreto
AU  - Lucas Cordeiro
AU  - Bernd Fischer
PY  - 2011
UR  - https://arxiv.org/abs/1106.2320
ID  - 1106.2320
ER  -