A Formal Method for Evaluation of a Modeled System Architecture. - Matthew Rodano; Kristin Giammarco (Complex Adaptive Systems, 2013)