read_module gm4.rm
read_spec fairness-gm-4.spec

atl_check System_2H fairnessP2
atl_check System_4H fairnessP4
atl_check System_3H fairnessP3
atl_check System_1H fairnessP1