Seminar: Compliance and subtyping in timed session types