Title: SBC State Machine for Model-Based Systems Engineering