A survey of convergence results on particle filtering methods for practitioners - Crisan, D; Doucet, A (IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2002)