/test/uscxml/promela/

• ../
• test-event-source.scxml
• test-non-progress.scxml
• test-progress-label.scxml
• test-simple.scxml
• test-syntax.scxml