The domain under investigation is a population (POP) and its changes during time. As time we assume a clock which can generate time units corresponding what we usually call a year (Y).
This example is quite simple but allows multiple extensions in the future. The main intention is to demonstrate the principle of modeling and simulation. The used formal representations are only one possibility out of many how one can represent models.