1. Institute of Electrical and Electronics Engineers (IEEE). 2010. 1850-2010 - IEEE Standard for Property Specification Language (PSL). https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5446004.
2. Institute of Electrical and Electronics Engineers (IEEE). 2012. 1800-2012 - IEEE Standard for SystemVerilog–Unified Hardware Design Specification and Verification Language. https://webstore.ansi.org/standards/ieee/ieee18002012
3. Open Verification Library (OVL) Working Group. 2014. Open Verification Language. Retrieved from https://www.accellera.org/downloads/standards/ovl.
4. Rakesh Agrawal, Tomasz Imieliński, and Arun Swami. 1993. Mining association rules between sets of items in large databases. In ACM SIGMOD Record, Vol. 22. ACM, 207–216.
5. Rakesh Agrawal and Ramakrishnan Srikant. 1994. Fast algorithms for mining association rules. In 20th International Conference on Very Large Data Bases, VLDB, Vol. 1215. 487–499.