read_module /home/skremer/Specs/BW/bw4.rm
read_spec /home/skremer/Specs/BW/fairness-bw-4.spec

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