The NOTCH3 extracellular domain is a serum biomarker for pulmonary arterial hypertension | Synapse