Functional analysis and time optimal control by Hermes & 'Hermes'