Model checking of spacecraft operational designs: a scalability analysis. - Chrszon, Philipp; Maurer, Paulina; Saleip, George; Müller, Sascha; Fischer, Philipp M.; Gerndt, Andreas; Felderer, Michael (Software & Systems Modeling, 2025)