Formal Modeling and Verification for MVB

Table 2

Input and output signals corresponding with its FID.

Signal	FID	Signal type
Mastership offer	MTRQ	Mastership transfer telegram
Mastership response	MTRP	Mastership transfer telegram
Inquire status	DSRQ	Device status telegram
Status response	DSRP	Device status telegram
T_standby, T_find_next,; T_interim	TM	Time-out signals