@misc{14208,
  author = {Tao Ma and Shaukat Ali and Tao Yue},
  title = {Modeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated Testing},
  year = {2016},
  publisher = {Simula Research Laboratory},
}