TY  - RPRT
TI  - A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual
AU  - Felix Winkelmann
AU  - Oskar Schirmer
PY  - 2017
UR  - https://arxiv.org/abs/1709.03404
ID  - 1709.03404
ER  -