Text this: Depuración y evolución de aplicaciones distribuidas y concurrentes usando un modelo de eventos basado en autómatas causales síncronos y asíncronos