Jianli Xu Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. 212-222 2006 conf/sew/2006 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2006.16 db/conf/sew/sew2006.html#Xu06