1 Formal stability studies	estudios formales de estabilidad