@misc{indiciae0f33e88535fb,
  title = {Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control},
  author = {Mu Sun and José Meseguer},
  year = {2010},
  doi = {10.4204/eptcs.36.9},
  url = {https://arxiv.org/abs/1009.4266},
  note = {Source identifier: 1009.4266}
}