Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks | IEEE Conference Publication | IEEE Xplore