read_module mr3.rm
read_spec fairness-3.spec
read_spec timeliness-3.spec

atl_check System_1H fairnessP1
atl_check System_2H fairnessP2
atl_check System_3H fairnessP3

atl_check System_1H timelinessP1
atl_check System_2H timelinessP2
atl_check System_3H timelinessP3