TY  - RPRT
TI  - Towards a Formalism-Based Toolkit for Automotive Applications
AU  - Rainer Gmehlich
AU  - Katrin Grau
AU  - Alexei Iliasov
AU  - Michael Jackson
AU  - Felix Loesch
AU  - Manuel Mazzara
PY  - 2013
UR  - https://arxiv.org/abs/1311.6145
ID  - 1311.6145
ER  -