@misc{indiciae509f7c2172d1,
  title = {Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures},
  author = {Marius Bozga and Radu Iosif and Joseph Sifakis},
  year = {2019},
  url = {https://arxiv.org/abs/1902.02696},
  note = {Source identifier: 1902.02696}
}