A discovery and verification approach to pharmacovigilance using electronic healthcare data | Synapse