I fully suspect that the Feds would ultimately legislate them back to work and then subject both parties to binding arbitration. My biggest concern is not a full-out strike, but rotating walkouts. That would cause maximum chaos for AC and totally screw up ops for the entire system.
I sincerely hope that does not happen, but my AC dance card for mid/late September will remain blank for now.