Modeling of a Speed Control System using Event-B

• Paper submitted at the ABZ'2020 Conference (Pdf paper)
• The Event-B model sources(zip file)