Text this: Reachability and liveness in parametric timed automata