Models are declared using the model keyword followed by the model name. Model names consist of upper- and lower-case letters, digits, and underscores. The model definition is terminated by the keyword end. Models consist of a series of state definitions. Here is a definition for a model named HugeModelByStacy which is empty (in spite of its name).
model HugeModelByStacy end
Figure 1: Empty model