A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

Figure 2

One-hot encoding checking logics.