Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method. - Pavel Gladyshev; Andreas Enbacka (Int. J. Digit. EVid., 2007)