Introducing formal methodologies to monitor small aerospace system telemetry