Clean-up the motor management example such that it is model-checkable
I resolved this issue and committed the MotorManagement model … please check that everything is ok!
(from redmine: issue id 712, created on 2012-03-11, closed on 2012-04-24)
I resolved this issue and committed the MotorManagement model … please check that everything is ok!
(from redmine: issue id 712, created on 2012-03-11, closed on 2012-04-24)