TY - RPRT TI - Towards Assurance-Driven Architectural Decomposition of Software Systems AU - Ramy Shahin PY - 2021 UR - https://arxiv.org/abs/2106.09237 ID - 2106.09237 ER -