Behavioral customization of state machine models at ESO. - Josef Hofer; Martin Becker 002; Andreas Schäfer (SPLC (A), 2022)