A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual. - Felix Winkelmann; Oskar Schirmer (CoRR, 2017)