Space Telemetry Analysis with PyContract. - Bevin Duckett; Klaus Havelund; Luke Stewart (Applicable Formal Methods for Safe Industrial Products, 2023)