Transition Systems -- Schedule Verification and Synthesis for Embedded Real-Time