Real Time and Reliable Systems