Research Article
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 |
|
|