@misc{indiciae41dd08170fc1,
  title = {Proceedings Third International Workshop on Hybrid Autonomous Systems},
  author = {Luca Bortolussi and Manuela L. Bujorianu and Giordano Pola},
  year = {2013},
  doi = {10.4204/eptcs.124},
  url = {https://arxiv.org/abs/1308.4904},
  note = {Source identifier: 1308.4904}
}