@misc{indiciae5ac3333864a7,
  title = {Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach},
  author = {Fujun Wang and Zining Cao and Lixing Tan and Zhen Li},
  year = {2020},
  url = {https://arxiv.org/abs/2012.12716},
  note = {Source identifier: 2012.12716}
}