Importing HOL into Isabelle/HOL. - Steven Obua; Sebastian Skalberg (IJCAR, 2006)

Beyond verification: leveraging formal for debugging. - Rajeev K. Ranjan 001; Claudionor Coelho; Sebastian Skalberg (DAC, 2009)