Added a microwave oven example, which is based on the classic problem of enforcing a safety property.