APA (7th ed.) Citation

Berry, G. (2016). Formally Unifying Modeling and Design for Embedded Systems - A Personal View. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 134-149. https://doi.org/10.1007/978-3-319-47169-3_11

Chicago Style (17th ed.) Citation

Berry, G. "Formally Unifying Modeling and Design for Embedded Systems - A Personal View." Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 2016: 134-149. https://doi.org/10.1007/978-3-319-47169-3_11.

MLA (9th ed.) Citation

Berry, G. "Formally Unifying Modeling and Design for Embedded Systems - A Personal View." Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016, pp. 134-149, https://doi.org/10.1007/978-3-319-47169-3_11.