Bradley Simmons Hanan Lutfiyya Achieving High-Level Directives Using Strategy-Trees. 44-57 2009 MACE http://dx.doi.org/10.1007/978-3-642-05006-0_4 conf/mace/2009 db/conf/mace/mace2009.html#SimmonsL09