Event Pattern Detection for Embedded Systems by Jan Carlson