1. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press. isbn: 978-0-262-02649-9.
2. Fifteen Years of Formal Property Verification in Intel
3. Reconfigurable Silicon Nanowire Transistors
4. Jayanand Asok Kumar, Lingyi Liu, and Shobha Vasudevan. 2011. Scaling probabilistic timing verification of hardware using abstractions in design source code. In 2011 Formal Methods in Computer-Aided Design, FMCAD '11. (Oct. 2011), 196--205.
5. Michael Raitza, Steffen Märcker, Shubham Rai, and Akash Kumar. 2022. Exploring standard-cell designs for reconfigurable nanotechnologies: a formal approach. In Proceedings of the 2022 Conference & Exhibition on Design, Automation & Test in Europe (DATE '22). European Design and Automation Association, Antwerp, Belgium, 23--28. isbn: 9783981926361.