Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems