# read_module gm3.rm
read_module gm4.rm

read_spec strat-timeliness.spec

atl_check System_1H strat-timelyP1
atl_check System_2H strat-timelyP2
atl_check System_3H strat-timelyP3 
atl_check System_4H strat-timelyP4