Implement loading variables from PRISM model
Implement loading variables from PRISM model
Fix bug in automaton modules map