Behavioral modeling and performance evaluation of microelectrofluidics-based PCR systems using SystemC | IEEE Journals & Magazine | IEEE Xplore