Mathematical frameworks for component software models for analysis and synthesis - He, Jifeng, 1943-; Liu, Zhiming, 1961- (Series on component-based software development, 2006)