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:  To establish the theoretical properties of the ETFSP scheme, we revisit the related finite state projection scheme and give a comprehensive account of its theoretical properties .