Safety Test:
----------
Input Files :  safe1.data, safe2.data
Output Files:  safe1.results, safe2.results
 
Underlying function: int SafetyTest(FSM*, FSM*, FILE*, FILE*, FSM*)
 
This function performs a safety test on a given state machine. It determines
if a given controller passes safety requirements.
The arguments to this function are: pointer to the FSM of a plant, pointer to
the fsm of the service specification, pointer to the file containing the set of
events in the service specification, i.e, the external events, pointer to the
file containing the augmentation event set for the service specification, i.e,
the internal events and the pointer to the resultant state machine. This
resultant state machine can be used for debugging purposes as this is a copy
of the state machine on which a safety test has been performed.
This function then calls a lower level function called SafetyCheck and
passes the resultant state machine to it as an argument to perform the actual
safety analysis.
It returns a 1 if the system is safe and 0 otherwise.
