TY  - RPRT
TI  - Formal specification of the FlexRay protocol using FocusST
AU  - Maria Spichkova
PY  - 2017
UR  - https://arxiv.org/abs/1801.04979
ID  - 1801.04979
ER  -