APA (7th ed.) Citation

Jacobs, J., & Simpson, A. (2017). On the formal interpretation and behavioural consistency checking of SysML blocks. Software & Systems Modeling, 16(4), 1145. https://doi.org/10.1007/s10270-015-0511-z

Chicago Style (17th ed.) Citation

Jacobs, Jaco, and Andrew Simpson. "On the Formal Interpretation and Behavioural Consistency Checking of SysML Blocks." Software & Systems Modeling 16, no. 4 (2017): 1145. https://doi.org/10.1007/s10270-015-0511-z.

MLA (9th ed.) Citation

Jacobs, Jaco, and Andrew Simpson. "On the Formal Interpretation and Behavioural Consistency Checking of SysML Blocks." Software & Systems Modeling, vol. 16, no. 4, 2017, p. 1145, https://doi.org/10.1007/s10270-015-0511-z.