Verified Certification of Reachability Checking for Timed Automata. - Simon Wimmer 001; Joshua von Mutius (TACAS (1), 2020)