Enfoques formales para la monitorización de la seguridad en ensayos clínicos en condiciones que amenazan la vida | Synapse