@misc{indiciae9f36207c8e6c,
  title = {Verifying Component and Connector Models against Crosscutting Structural Views},
  author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
  year = {2014},
  doi = {10.1145/2568225.2568237},
  url = {https://arxiv.org/abs/1406.7136},
  note = {Source identifier: 1406.7136}
}