Population dynamics of engineered underdominance and killer-rescue gene drives in the control of disease vectors. - Edgington MP; Alphey LS (PLoS computational biology, 2018)