APA (7th ed.) Citation

Kang, E., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P., & Pettersson, P. (2013). A methodology for formal analysis and verification of EAST-ADL models. Reliability engineering & system safety, 120(Special Issue), 127-138. https://doi.org/10.1016/j.ress.2013.06.007

Chicago Style (17th ed.) Citation

Kang, Eun-Young, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre-Yves Schobbens, and Paul Pettersson. "A Methodology for Formal Analysis and Verification of EAST-ADL Models." Reliability Engineering & System Safety 120, no. Special Issue (2013): 127-138. https://doi.org/10.1016/j.ress.2013.06.007.

MLA (9th ed.) Citation

Kang, Eun-Young, et al. "A Methodology for Formal Analysis and Verification of EAST-ADL Models." Reliability Engineering & System Safety, vol. 120, no. Special Issue, 2013, pp. 127-138, https://doi.org/10.1016/j.ress.2013.06.007.