Real Time Systems: Theory and Applications