Paloma Díaz Ignacio Aedo Fivos Panetsos Modeling the Dynamic Behavior of Hypermedia Applications. 550-572 2001 27 IEEE Trans. Software Eng. 6 http://doi.ieeecomputersociety.org/10.1109/32.926176 db/journals/tse/tse27.html#DiazAP01