Applicability of Model Checking for Verifying Spacecraft Operational Designs. - Philipp Chrszon; Paulina Maurer; George Saleip; Sascha Müller 005; Philipp Martin Fischer; Andreas Gerndt; Michael Felderer (MODELS, 2023)