Nathan Fulton, André Platzer: A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. CPP 2016: 110-121