1. Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog

   • Muhammad Waseem Anwar
   • Muhammad Rashid
   • Muhammad Kashif

   OriginalPaper 21 February 2017 Pages: 1 - 36

   

2. RELSPEC: a framework for reliability aware design of component based embedded systems

   • Saurav Kumar Ghosh
   • P. Vishnuvardhan
   • Partha Pratim Chakrabarti

   OriginalPaper 21 February 2017 Pages: 37 - 87