The use of random simulation in formal verification. - Florian Krohm; Andreas Kuehlmann; Arjen Mets (ICCD, 1996)

Placement-Driven Synthesis Design Closure Tool. - Charles J. Alpert; Nathaniel Hieter; Arjen Mets; Ruchir Puri; Lakshmi N. Reddy; Haoxing Ren; Louise Trevillyan (Handbook of Algorithms for Physical Design Automation, 2008)