@misc{indiciaed5fb2cdb0fe1,
  title = {Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures},
  author = {Jan Kofroň and Jana Tumova},
  year = {2017},
  doi = {10.4204/eptcs.245},
  url = {https://arxiv.org/abs/1703.06590},
  note = {Source identifier: 1703.06590}
}