Timing specification and rule-based systems. - P. D. Zijderveld; Issa Traoré; Rob A. Vingerhoeds; Abd-El-Kader Sahraoui (RTS, 1997)