//
// Global Declarations
//
clock x,y;
int first,
second,
back,
InSafety;aSoldierconst id; const delayOnWayBackSafetyOnBridgePerilaObserverconst delayEscapeWaitS1 := aSoldier(1,25);
S2 := aSoldier(2,20);
S3 := aSoldier(3,10);
S4 := aSoldier(4,5);
E := aObserver(60);system S1,S2,S3,S4,E;