@misc{15844,
  author = {Tao Ma and Shaukat Ali and Tao Yue},
  title = {Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems},
  year = {2020},
  journal = {IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)},
}