Targeting Physically Addressable Memory. - David R. Piegdon; Lexi Pimenidis (DIMVA, 2007)

libalf: The Automata Learning Framework. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker; Daniel Neider; David R. Piegdon (CAV, 2010)