/spl pi/-SPACE: a formal architecture description language based on process algebra for evolving software systems | IEEE Conference Publication | IEEE Xplore