Multilevel semantic foundation for digital logic diagrams. - Sabah Al-Fedaghi; Noura Aljallal (ICSAI, 2014)