Failure Trace Semantics for a Process Algebra with Time-outs (Logical Methods in Computer Science, 2021)