Mathematical frameworks for component software: models for analysis and synthesis - Liu, Z (world scientific, 2006)