Text this: Functional analysis and time optimal control /