Declaration Tree

Task_Management_Types Package spec

Task_Priority_Control Package spec

TC_Acknowledger Package spec
| Make_TC_Verification Function spec

Telecommand_Verification_Generator Generic Package spec
| Generate_TC_Verification Procedure spec

Timeout_Control Generic Package spec
| Start Procedure spec
| Stop Procedure spec

Transition_Reporting_List Generic Package spec
| Initialize Procedure spec
| Add_Unreported_Transition Procedure spec
| Get_Unreported_Transition_List Function spec