Control Flow Integrity for Real-time Embedded Systems