Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems