Constructive Membership Predicates as Index Types. - James L. Caldwell; Josef Pohl (PLPV@IJCAR, 2006)

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. - Ewen Denney; Ganesh Pai; Josef Pohl (ICECCS, 2012)

AdvoCATE: An Assurance Case Automation Toolset. - Ewen Denney; Ganesh Pai; Josef Pohl (SAFECOMP Workshops, 2012)