Constraint-based model checking of data-independent systems - SARNA-STAROSTA, Beata; RAMAKRISHNAN, C. R (Formal methods and software engineering (Singapore, 5-7 November 2003), 2003)
text