1. Automatic abstraction of non-linear systems using change of bases transformations;Sankaranarayanan,2011
2. Fixed point iteration for computing the time-elapse operator;Sankaranarayanan,2006
3. Temporal Verification of Reactive Systems: Safety;Manna,1995
4. Michael Petter, Berechnung von polynomiellen invarianten (in German), October 2004. Cf. http://www2.cs.tum.edu/~petter/da/da.pdf.
5. Patrick Cousot, Nicholas Halbwachs, Automatic discovery of linear restraints among the variables of a program, in: POPL’78, January 1978, pp. 84–97.