MLA

Ramesh, S, et al. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer Netherlands, 2007.

APA

Ramesh, S., Albert, G., Bienfait, A., Sampath, P., Sampath, P., & Sigmund, S. (2007). Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer Netherlands.

Chicago

Ramesh, S., Gert Albert, Agathe Bienfait, Prahladavaradan Sampath, P Sampath, and Steffen Sigmund. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. : Springer Netherlands, 2007.