-- DRCSpec
MODULE main
 VAR

  
  Cold_Shutdown: boolean;
  SCRAM: boolean;
  

 DEFINE



    -- Req text: DRC shall initially satisfy (Cold_Shutdown & !SCRAM)
    LTLSPEC NAME PWR-0000_Cold_Shutdown_0 := (! (Cold_Shutdown & (! SCRAM)));    
    
    -- Req text: DRC shall initially satisfy (Cold_Shutdown & !SCRAM)
    LTLSPEC NAME PWR-0000_SCRAM_0 := (! (Cold_Shutdown & (! SCRAM)));    
    