Bridging Model-Based and Language-Based Security. - Rogardt Heldal; Fredrik Hultin (ESORICS, 2003)