How to Interconnect Operational and Behavioral Views of Web Applications. - Ruben Filipe Cardoso da Fonseca; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Maria João Varanda Pereira (ICPC, 2008)