Este libro recopila las ponencias de la décima tercera conferencia sobre modelado formal y análisis de sistemas temporizados, ofreciendo nuevas perspectivas teóricas y herramientas prácticas para el diseño y verificación de sistemas con restricciones de tiempo.