@article{art5486,
  title = {Formal Model of Contract Evolution for APIs and Messages in Event-Driven Systems: Compatibility, Versioning, and the Prevention of Breaking Changes},
  doi = {10.18535/ijecs/v15i03.5486},
  url = {https://ijecs.in/index.php/ijecs/article/view/5486}
}