owcet -f close_trains.ff -t -s ~/git/ARMv7t-WCET-Analysis/XMC4500_OTAWA_Script_v2/xmc4500.osx --stats program.elf close_trains_matcher
owcet -f end_of_siding.ff -t -s ~/git/ARMv7t-WCET-Analysis/XMC4500_OTAWA_Script_v2/xmc4500.osx --stats program.elf end_of_siding_matcher
owcet -f misaligned_turnout.ff -t -s ~/git/ARMv7t-WCET-Analysis/XMC4500_OTAWA_Script_v2/xmc4500.osx --stats program.elf misaligned_turnout_matcher
owcet -f train_locations.ff -t -s ~/git/ARMv7t-WCET-Analysis/XMC4500_OTAWA_Script_v2/xmc4500.osx --stats program.elf train_locations_matcher

