Modeling time in computing: A taxonomy and a comparative survey | ACM Computing Surveys (CSUR) | DeepDyve