1. Defining digital forensic examination and analysis tools using abstraction layers;Carrier;Int J Digit Evid,2003
2. Error, uncertainty and loss in digital evidence;Casey;Int J Digit Evid,2002
3. Model checking;Clark,2000
4. An open graph visualization system and its applications to software engineering;Gansner;Softw Pract Exp,1999
5. Shrinking the ocean: formalizing I/O methods in modern operating systems;Geber;Int J Digit Evid,2002