Sequence-based specification of the soda machine example (http://www.embedded.com/design/debug-and-optimization/4403169/Sequence-Enumeration) for the REAL modeling tool.