Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog - Anwar, Muhammad Waseem; Rashid, Muhammad; Azam, Farooque; Kashif, Muhammad (Design Automation for Embedded Systems: An International Journal, 2017)