APA (7th ed.) Citation

ter Beek, M. H. (2025). Models for formal methods and tools: The case of railway systems. Software & Systems Modeling, 24(6), 1935. https://doi.org/10.1007/s10270-025-01276-3

Chicago Style (17th ed.) Citation

ter Beek, M. H. "Models for Formal Methods and Tools: The Case of Railway Systems." Software & Systems Modeling 24, no. 6 (2025): 1935. https://doi.org/10.1007/s10270-025-01276-3.

MLA (9th ed.) Citation

ter Beek, M. H. "Models for Formal Methods and Tools: The Case of Railway Systems." Software & Systems Modeling, vol. 24, no. 6, 2025, p. 1935, https://doi.org/10.1007/s10270-025-01276-3.