Text this: Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas