@BOOK{gaubert92b, author={S. Gaubert}, title={Introduction aux syst\`emes dynamiques \`a \'ev\'enements discrets}, publisher={Polycopi\'e de cours ENSTA--ENSMP--Orsay (DEA ATS)}, year={1992 (revised 1999)}, }