/test/uscxml/promela/
../
test-invokers.scxml
test-non-progress.scxml
test-progress-label.scxml
test-simple.scxml
test-syntax.scxml