Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog Muhammad Waseem AnwarMuhammad RashidMuhammad Kashif OriginalPaper 21 February 2017 Pages: 1 - 36
RELSPEC: a framework for reliability aware design of component based embedded systems Saurav Kumar GhoshP. VishnuvardhanPartha Pratim Chakrabarti OriginalPaper 21 February 2017 Pages: 37 - 87