Before revision:  To establish the theoretical properties of the ETFSP scheme, we revisit the related finite state projection scheme taking a probabilistic viewpoint and proving the latter's convergence .
After revision:  We also revisit the related finite state projection scheme taking a probabilistic viewpoint and proving the latter's convergence .