American Psychological Association 6th edition

Anwar, M. W., Rashid, M., Azam, F., & Kashif, M. (2017). Model-based design verification for embedded systems through SVOCL: an OCL extension for System Verilog. Design Automation for Embedded Systems: An International Journal, 21(1), 1-36. https://doi.org/10.1007/s10617-017-9182-z

ISO-690 (author-date, English)

ANWAR, Muhammad Waseem, RASHID, Muhammad, AZAM, Farooque and KASHIF, Muhammad, 2017. Model-based design verification for embedded systems through SVOCL: an OCL extension for System Verilog. Design Automation for Embedded Systems: An International Journal. 1 March 2017. Vol. 21, no. 1, p. 1-36. DOI 10.1007/s10617-017-9182-z.

Modern Language Association 9th edition

Anwar, M. W., M. Rashid, F. Azam, and M. Kashif. “Model-Based Design Verification for Embedded Systems through SVOCL: An OCL Extension for System Verilog”. Design Automation for Embedded Systems: An International Journal, vol. 21, no. 1, Mar. 2017, pp. 1-36, https://doi.org/10.1007/s10617-017-9182-z.

Mohr Siebeck - Recht (Deutsch - Österreich)

Anwar, Muhammad Waseem/Rashid, Muhammad/Azam, Farooque/Kashif, Muhammad: Model-based design verification for embedded systems through SVOCL: an OCL extension for System Verilog, Design Automation for Embedded Systems: An International Journal 2017, 1-36.

Emerald - Harvard

Anwar, M.W., Rashid, M., Azam, F. and Kashif, M. (2017), “Model-based design verification for embedded systems through SVOCL: an OCL extension for System Verilog”, Design Automation for Embedded Systems: An International Journal, Vol. 21 No. 1, pp. 1-36.

Warning: These citations may not always be 100% accurate.