Marco Domenico Aime Paolo Carlo Pomi Marco Vallini Ontology and algorithms for the dependable configuration of information systems. 310-335 2010 1 IJCCBS 4 http://dx.doi.org/10.1504/IJCCBS.2010.036603 db/journals/ijccbs/ijccbs1.html#AimePV10