Prediction of inherited and genetic mutations using the software model checker SPIN. - Zubin Balsara; Steve Roach (SAC, 2005)