Plan To Validate

Time         Happening



0.1: 		 
 (fullprepare) - start 



5.1: 		 
 Invariant for  (fullprepare) 

5.1: 		 
 (fullprepare) - end 



5.2: 		 
 (observe1) - start 



7.2: 		 
 Invariant for  (observe1) 

7.2: 		 
 (observe1) - end 



7.3: 		 
 (observe2) - start 



9.3: 		 
 Invariant for  (observe2) 

9.3: 		 
 (observe2) - end 



10: 		 
 (Timed Initial Literal Action 1)