%%%%%%%%%%%%%%%%%%THREADS
%
\begin{circus}
\circprocess Threads \circdef  \\
\circblockopen
ThreadFW(SafeLandingHandlerThreadID, 5) \\
\interleave \\
ThreadFW(ACModeChangerThreadID, 5) \\
\interleave \\
ThreadFW(TakeOffFailureHandlerThreadID, 5) \\
\interleave \\
ThreadFW(InstrumentLandingSystemMonitorThreadID, 5) \\
\interleave \\
ThreadFW(FlightSensorsMonitorThreadID, 5) \\
\interleave \\
ThreadFW(TakeOffMonitorThreadID, 5) \\
\interleave \\
ThreadFW(AperiodicSimulatorThreadID, 5) \\
\interleave \\
ThreadFW(LandingGearHandlerLandThreadID, 5) \\
\interleave \\
ThreadFW(LandingGearHandlerTakeOffThreadID, 5) \\
\interleave \\
ThreadFW(GroundDistanceMonitorThreadID, 5) \\
\interleave \\
ThreadFW(ControlHandlerThreadID, 5) \\
\interleave \\
ThreadFW(CommunicationsHandlerThreadID, 5) \\
\interleave \\
ThreadFW(BeginLandingHandlerThreadID, 5) \\
\interleave \\
ThreadFW(NavigationMonitorThreadID, 5) \\
\interleave \\
ThreadFW(EnvironmentMonitorThreadID, 5) \\

\circblockclose
\end{circus}
%
%%%%%%%%%%%%%%OBJECTS
%
\begin{circus}
\circprocess Objects \circdef \\
\circblockopen
ObjectFW(ACSafeletObjectID) \\
\interleave \\
ObjectFW(MainMissionObjectID) \\
\interleave \\
ObjectFW(ACModeChangerObjectID) \\
\interleave \\
ObjectFW(EnvironmentMonitorObjectID) \\
\interleave \\
ObjectFW(ControlHandlerObjectID) \\
\interleave \\
ObjectFW(FlightSensorsMonitorObjectID) \\
\interleave \\
ObjectFW(CommunicationsHandlerObjectID) \\
\interleave \\
ObjectFW(AperiodicSimulatorObjectID) \\
\interleave \\
ObjectFW(TakeOffMissionObjectID) \\
\interleave \\
ObjectFW(LandingGearHandlerTakeOffObjectID) \\
\interleave \\
ObjectFW(TakeOffMonitorObjectID) \\
\interleave \\
ObjectFW(TakeOffFailureHandlerObjectID) \\
\interleave \\
ObjectFW(CruiseMissionObjectID) \\
\interleave \\
ObjectFW(BeginLandingHandlerObjectID) \\
\interleave \\
ObjectFW(NavigationMonitorObjectID) \\
\interleave \\
ObjectFW(LandMissionObjectID) \\
\interleave \\
ObjectFW(GroundDistanceMonitorObjectID) \\
\interleave \\
ObjectFW(LandingGearHandlerLandObjectID) \\
\interleave \\
ObjectFW(InstrumentLandingSystemMonitorObjectID) \\
\interleave \\
ObjectFW(SafeLandingHandlerObjectID) \\

\circblockclose
\end{circus}
%
%%%%%%%%%%%%%LOCKING
%
\begin{circus}
\circprocess Locking \circdef Threads \lpar ThreadSync \rpar Objects
\end{circus}
