In addition to functional correctness, real-time systems offer temporal correctness which is important for safetycritical domains like …