Text this: Automata-Based Analysis of Stage Suspended Boom Systems