Serguei A. Mokhov Joey Paquet Mourad Debbabi Reasoning About an ACME Printer Case Investigation with Forensic Lucid http://arxiv.org/abs/0906.5181 2009 CoRR abs/0906.5181 db/journals/corr/corr0906.html#abs-0906-5181 informal publication