smv.nu -cp 5000 -v 1 -abs 100 -coi -f water-press.smv

List of atomic formulas:
.Reset = Off
.Block = Off
.Block = On
.WaterPres < 1000
.WaterPres >= 900
.Pressure = TooLow
.WaterPres >= 1000
.WaterPres < 900
.Pressure = Permitted
.Delta > 0
.WaterPres > 1990
.Delta < 0
.WaterPres < 10
.Block = .Block
.Reset = .Reset
.Overridden = 1
.Pressure = High
.Reset = On

