Formal approaches to safety monitoring of clinical trials in life-threatening conditions | Synapse