Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices. - Yangruirui Zhou; Samuel M. D. Oliveira; Radhakrishna Sanka; David McIntyre; Douglas Densmore (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)