1. Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide, 2nd edn. Addison-Wesley (2005)
2. Turine, M., Oliveira, M., Masiero, P.: A Navigation-oriented Hypertext Model Based on Statecharts. In: 8th ACM Conference on Hypertext, Southampton, UK, pp. 102–111 (1997)
3. Leung, K., Hui, L., Yiu, S., Tang, R.: Modeling Web Navigation by Statechart. In: 24th International Computer Software and Applications Conference, pp. 41–47. IEEE Computer Society, USA (2000)
4. Oliveira, M., Turine, M., Masiero, P.: A State-chart-based Model for Hypermedia Applications. ACM Trans. Inf. Syst. 19(1), 28–52 (2001)
5. Chow, T.: Testing Software Design Modeled by Finite-State Machines. IEEE Trans. Softw. Eng. 4(3), 178–187 (1978)