Carlo Ghezzi Giordano Tamburrelli Predicting Performance Properties for Open Systems with KAMI. 70-85 2009 QoSA http://dx.doi.org/10.1007/978-3-642-02351-4_5 conf/qosa/2009 db/conf/qosa/qosa2009.html#GhezziT09