Building Reliable Component-Based Software Systems | Artech books | IEEE Xplore