Jung Soo Kim David Garlan Analyzing architectural styles with alloy. 70-80 2006 ROSATEA http://doi.acm.org/10.1145/1147249.1147259 conf/issta/2006r db/conf/issta/rosatea2006.html#KimG06