Introduction to rare event simulation - James Antonio Bucklew (Springer)