Robert Craven Jorge Lobo Jiefei Ma Alessandra Russo Emil C. Lupu Arosha K. Bandara Expressive policy analysis with enhanced system dynamicity. 239-250 2009 ASIACCS http://doi.acm.org/10.1145/1533057.1533091 conf/ccs/2009asia db/conf/ccs/asiaccs2009.html#CravenLMRLB09