Mahmoud Elfar Tung-Che Liang Krishnendu Chakrabarty Miroslav Pajic Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. 324-329 2021 DATE https://doi.org/10.23919/DATE51398.2021.9474144 conf/date/2021 db/conf/date/date2021.html#ElfarLCP21