Stabilization Specifications