Added a FORTS model for critical instants of single processor FP scheduling with 3 tasks.