@misc{indiciaea514df35ecf0,
  title = {Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems},
  author = {Paul C. Attie and Nancy A. Lynch},
  year = {2016},
  doi = {10.1016/j.ic.2016.03.008},
  url = {https://arxiv.org/abs/1604.06030},
  note = {Source identifier: 1604.06030}
}