An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress Theory. - Alain Finkel; Gaspard Fougea; Stéphane Le Roux 001 (MODELSWARD, 2025)