A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates | IEEE Conference Publication | IEEE Xplore