TY  - RPRT
TI  - Formal verification of a time-triggered hardware interface
AU  - Julien Schmaltz
PY  - 2011
UR  - https://arxiv.org/abs/1103.2246
ID  - 1103.2246
ER  -