Conferencia: Análisis y verificación de sistemas distribuidos
https://eventos.uclm.es/106380/detail/analisis-y-verificacion-de-sistemas-distribuidos.html