Bridge.mcrl2 adjusted for motor action and brake
Merge branch 'master' of https://github.com/hansbogert/in4387