Expressive policy analysis with enhanced system dynamicityRobert CravenJorge Loboet al.2009ASIACCS 2009