TY - RPRT TI - Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering AU - Josh Gibson PY - 2026 UR - https://arxiv.org/abs/2605.08609 ID - 2605.08609 ER -