Behaviour Analysis of Software Architectures - Magee, JN; Kramer, J; Giannakopoulou, D (Kluwer Academic Pub., 1999)