@misc{indiciae923e011ef9ab,
  title = {A refinement checking based strategy for component-based systems evolution},
  author = {José Dihego and Augusto Sampaio and Marcel Oliveira},
  year = {2020},
  doi = {10.1016/j.jss.2020.110598},
  url = {https://arxiv.org/abs/2005.10295},
  note = {Source identifier: 2005.10295}
}