@inproceedings{HZ-MOD-19,
  author = {H. {Zhao} and L. {Apvrille} and F. {Mallet}},
  title = {Meta-models Combination for Reusing Verification Techniques},
  booktitle = {7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS)},
  address = {Prague, Czech Republic},
  year = 2019,
  month = feb,
  keywords = {Meta-model, model, simulation, verification, model-based engineering, UML, SysML, model transformation, CPS},
  annote = {category=inproceedings language=en audience=2 state=published dept=comelec group=easi,labsoc id=18441}
}