Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. - Suryakant Choudhary; Mustafa Emre Dincturk; Gregor von Bochmann; Guy-Vincent Jourdan; Iosif-Viorel Onut; Paul Ionescu (ICST, 2012)