Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand. - Pablo Fernandez Carmona; Michael Eichin; Alexandre Mayor; Harald Regele; Martin Grossmann; Damien Charles Weber (CoRR, 2018)