@misc{indiciae2b098a754a4f,
  title = {LTL-based Verification of Reconfigurable Workflows},
  author = {Manuel Mazzara},
  year = {2016},
  doi = {10.12988/ams.2014.410816},
  url = {https://arxiv.org/abs/1607.03649},
  note = {Source identifier: 1607.03649}
}