read_module /home/skremer/Specs/BW/bw3.rm
read_spec /home/skremer/Specs/BW/fairness-bw-3.spec
atl_check System_3H fairnessP3
atl_check System_2H fairnessP2
atl_check System_1H fairnessP1