"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
"In the end, we are all stories, told and retold, until we become part of the collective memory."
"El arte de escribir es el arte de descubrir lo que crees."