Positions:Distinguished ProfessorSelected Publication Publisher:Oxford University Press (OUP)Selected Publication Venue:REAL-TIME SYSTEMS SYMPOSIUM - PROCEEDINGSClear