APA (7th ed.) Citation

Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A., Timmis, J., & Woodcock, J. (2019). RoboChart: Modelling and verification of the functional behaviour of robotic applications. Software and systems modeling, 18(5), 3097-3149. https://doi.org/10.1007/s10270-018-00710-z

Chicago Style (17th ed.) Citation

Miyazawa, Alvaro, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, and Jim Woodcock. "RoboChart: Modelling and Verification of the Functional Behaviour of Robotic Applications." Software and Systems Modeling 18, no. 5 (2019): 3097-3149. https://doi.org/10.1007/s10270-018-00710-z.

MLA (9th ed.) Citation

Miyazawa, Alvaro, et al. "RoboChart: Modelling and Verification of the Functional Behaviour of Robotic Applications." Software and Systems Modeling, vol. 18, no. 5, 2019, pp. 3097-3149, https://doi.org/10.1007/s10270-018-00710-z.