APA (7th ed.) Citation

Lima, L., Miyazawa, A., Cavalcanti, A., Cornélio, M., Iyoda, J., Sampaio, A., . . . Lewis, V. (2017). An integrated semantics for reasoning about SysML design models using refinement. Software & Systems Modeling, 16(3), 875. https://doi.org/10.1007/s10270-015-0492-y

Chicago Style (17th ed.) Citation

Lima, Lucas, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, and Vaughan Lewis. "An Integrated Semantics for Reasoning About SysML Design Models Using Refinement." Software & Systems Modeling 16, no. 3 (2017): 875. https://doi.org/10.1007/s10270-015-0492-y.

MLA (9th ed.) Citation

Lima, Lucas, et al. "An Integrated Semantics for Reasoning About SysML Design Models Using Refinement." Software & Systems Modeling, vol. 16, no. 3, 2017, p. 875, https://doi.org/10.1007/s10270-015-0492-y.