Formal Modeling and Verification for MVB

Figure 10

Timing diagram of the asynchronous model.