@misc{indiciae13cb4e4aca2f,
  title = {Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems},
  author = {Etienne Borde},
  year = {2019},
  url = {https://arxiv.org/abs/1911.10457},
  note = {Source identifier: 1911.10457}
}