Envoyer par SMS: A formal model for analyzing manager’s performance during stress