Detecting Busy Waiting by Georg Kienesberger