1. The Algorithmic Analysis of Hybrid Systems;R. Alur;Theoretical Computer Science,1995
2. Automatic Symbolic Verification of Embedded Systems;R. Alur,1993
3. Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library;R. Bagnara,2002
4. The disjunctive decomposition of logic functions;V. Bertacco,1997