1. Angluin, D. (1987). Learning regular sets from queries and counter examples. Information and Computation, 75, 87–106.
2. Armando A., Carbone R., Compagna L., Cuellar J., & Tolbarra, L. A. (2008). Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for google apps.In Proceeding of FMSE 2008 (pp. 1–10).
3. Baier, C., & Katoen, J. P. (2008). Principles of model checking. Cambridge, MA: The MIT Press.
4. Cantwell Smith, B. (1985). Limits of correctness in computers. Technical report 85-35. Stanford, CA: CSLI, Center for the Study of Language and Information.
5. Clarke, E. M., Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic, paper presented at Logic of programs: Workshop, Yorktown Heights, NY, May 1981, LNCS 131. Berlin: Springer.