A Case Study for Reliable, Reusable Software