Strict Synchronous Composition:
------------------------------
Default Input Files:  strict_synch_comp1.data, strict_synch_comp2.data
Default Output File:  strict_synch_comp.results
 
strict_synch_comp.results contains the strict synchronous composition of strict_synch_comp1.data FSM and strict_synch_comp2.data FSM.


Underlying function: void fsm_sync_comp(FSM *fsm1_ptr,FSM *fsm2_ptr,FSM *fsm3_ptr)
Modified Parameters: FSM *fsm3_ptr
Source: StrictSynchComp.h, fsm_operators.c

Generates the synchronous composition of two input FSMs fsm1_ptr and fsm2_ptr.
fsm3_ptr is a pointer to the resultant FSM.
