Figure 5: Scheme of simulation stages in Timothy.