Artur Boronat Roberto Bruni Alberto Lluch-Lafuente Ugo Montanari Generoso Paolillo Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. 2-16 2010 FMOODS/FORTE http://dx.doi.org/10.1007/978-3-642-13464-7_2 conf/forte/2010 db/conf/forte/forte2010.html#BoronatBLMP10