Software Architecture directed Analysis - Magee, JN; Kramer, J; Giannakopoulou, D (1998)