Text this: Tools for the Analysis of Quantum Protocols Requiring State Generation Within a Time Window