This model implements a simple producer-consumer scenario.
It can be used to test the timing analysis and the code generation.