Real Time Systems Liu «RELIABLE»