Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko: Ontology-Based Tools in the Service of Hardware Verification. SEKE 2010: 303-308