Mark Hartong Rajni Goel Duminda Wijesekera Use-Misuse Case Driven Analysis of Positive Train Control. 141-155 2006 IFIP Int. Conf. Digital Forensics conf/ifip11-9/2006 db/conf/ifip11-9/df2006.html#HartongGW06