Institute of Systems Engineering - Real Time Systems Group