Model checking message delivery times in SpaceWire networks. - Andrii Kovalov; Girish Patil; Vishav Bansal; Andreas Gerndt (MoDELS (Companion), 2022)