10.1109/TFUZZ.2012.2226941