Kristina Winbladh Thomas A. Alspaugh Hadar Ziv Debra J. Richardson Architecture-based testing using goals and plans. 64-68 2006 ROSATEA http://doi.acm.org/10.1145/1147249.1147258 conf/issta/2006r db/conf/issta/rosatea2006.html#WinbladhAZR06