added Event-B model to README.md