Issues with giving multiple scheduling constraints for different instances in asynchronous-reactive systems

[grbeni]

import "Crossroad.gcd"

analysis {
	component : Crossroad
	language : Theta
	file : "Crossroad-Theta"
	state-coverage
	
	constraint : {
		controller : {
			minimum-orchestrating-period : 500 ms
			maximum-orchestrating-period : 500 ms
		}
		prior : {
			minimum-orchestrating-period : 500 ms
			maximum-orchestrating-period : 500 ms
		}
	}
}