TY  - RPRT
TI  - A refinement checking based strategy for component-based systems evolution
AU  - José Dihego
AU  - Augusto Sampaio
AU  - Marcel Oliveira
PY  - 2020
DO  - 10.1016/j.jss.2020.110598
UR  - https://arxiv.org/abs/2005.10295
ID  - 2005.10295
ER  -