read_module gm3.rm
read_spec fairness-gm-3.spec

atl_check System_3H fairnessP3
atl_check System_2H fairnessP2
atl_check System_1H fairnessP1