APA (7th ed.) Citation

Dragomir, I., Ober, I., & Percebois, C. (2017). Contract-based modeling and verification of timed safety requirements within SysML. Software & Systems Modeling, 16(2), 587. https://doi.org/10.1007/s10270-015-0481-1

Chicago Style (17th ed.) Citation

Dragomir, Iulia, Iulian Ober, and Christian Percebois. "Contract-based Modeling and Verification of Timed Safety Requirements Within SysML." Software & Systems Modeling 16, no. 2 (2017): 587. https://doi.org/10.1007/s10270-015-0481-1.

MLA (9th ed.) Citation

Dragomir, Iulia, et al. "Contract-based Modeling and Verification of Timed Safety Requirements Within SysML." Software & Systems Modeling, vol. 16, no. 2, 2017, p. 587, https://doi.org/10.1007/s10270-015-0481-1.