FSM Software for Critical Infrastructure: Buyer's Guide