The Timely Computing Base Model and Architecture - P. Veríssimo (2002)