Querying Safety Cases. - Ewen Denney; Dwight Naylor; Ganesh J. Pai (SAFECOMP, 2014)