Fernando Náufel do Amaral, Edward Hermann Haeusler: A logic-based approach for real-time object-oriented software development. RITA 7(1): 69-88 (2000)