Ashutosh Gupta, Somya Mani, Ankit Shukla: Synthesis for Vesicle Traffic Systems. CMSB 2018: 93-110