@misc{indiciaeaece91e04432,
  title = {Towards Logical Architecture and Formal Analysis of Dependencies Between Services},
  author = {Maria Spichkova and Heinrich Schmidt},
  year = {2014},
  url = {https://arxiv.org/abs/1412.3529},
  note = {Source identifier: 1412.3529}
}