Leseprobe: Safe and Secure I/O Sharing for Mixed-Criticality Embedded Real-Time Systems for Avionics