231 W. Wang, et al., “e-Process Design and Assurance Using Model Checking,” IEEE Computer 33, no. 10
(October 2000): 48–53.
232 Peter Ryan, et al., Modelling and Analysis of Security Protocols, 2nd ed. (Addison-Wesley
Professional, 2001).