Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach | Publicación