Microwave w. orthogonal example
a simple microwave oven example featuring orthogonal state
Uses an orthogonal region to track door status (an orthogonal aspect)