Large scale genetic identity inference using probabilistic model checking. - Pedro Felipe A. Oliveira; Rodrigo R. Gomes; Mark Alan Junho Song (SMC, 2010)