Text this: Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering