Specification and Analysis of System Architecture Using Rapide