Behaviour analysis of software architectures - Magee,J; Kramer,J; Giannakopoulou,D (KLUWER ACADEMIC PUBLISHERS, 1999)