A compiler for mapping a rule-based event-triggered program to a hardware engineCarsten AlbrechtAndreas C. Döring2004RULE 2004