Zaslat záznam e-mailem: A Software-Based Monitoring Framework for Time-Space Partitioned Avionics Systems