The Software Modeling and Implementation of Reliable Server Pooling and RSPLIB