TY  - RPRT
TI  - A Dual-Engine for Early Analysis of Critical Systems
AU  - Aboubakr Achraf El Ghazi
AU  - Ulrich Geilmann
AU  - Mattias Ulbrich
AU  - Mana Taghdiri
PY  - 2014
UR  - https://arxiv.org/abs/1408.0707
ID  - 1408.0707
ER  -