Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications

Figure 19

FrTp CPN model: timeout.