TY - RPRT TI - Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems AU - Etienne Borde PY - 2019 UR - https://arxiv.org/abs/1911.10457 ID - 1911.10457 ER -