Consider the following (partial) specification of a real time system: The velocity of a space craft must be sampled by a computer on-board the space craft at least once every second (the sampling event is denoted by second). After sampling the velocity, the current position is computed (denoted by event C) within 100msec, parallely the expected position of the space craft is retrieved from the database within 200msec (denoted by event R ). Using these data, the deviation from the normal course of the space craft must be determined within 100msec (denoted by event D ) and corrective velocity adjustments must be carried out before a new velocity value is sampled in (the velocity adjustment event is denoted by A). Calculated positions must be transmitted to the earth station at least once every minute (position transmission event is denoted by the event T). Identify the different timing constraints in the system. Classify these into either performance or behavioural constraints. Construct an extended finite state machine (EFSM) to model the system. [5]