@misc{indiciae3debf1300610,
  title = {Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications},
  author = {Shang-Wei Lin and Laure Petrucci},
  year = {2014},
  doi = {10.4204/eptcs.156},
  url = {https://arxiv.org/abs/1407.1952},
  note = {Source identifier: 1407.1952}
}