examples/platforms/optorsim/transform_optorsim_platform.pl
examples/platforms/config.xml
examples/platforms/config_tracing.xml
+ examples/platforms/model_checker_platform.xml
examples/platforms/profiles/bourassa_state.profile
examples/platforms/profiles/fafard_state.profile
examples/platforms/profiles/faulty_host.profile