Hardware and Software: Verification and Testing
  MLA
  Hutchison, David, et al. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg, 2012.
  APA
  Hutchison, D., Kanade, T., Lourenҫo, J., & Shehory, O. (2012). Hardware and Software: Verification and Testing. Springer Berlin Heidelberg.
  Chicago
  Hutchison, David, Takeo Kanade, João Lourenҫo, and Onn Shehory. Hardware and Software: Verification and Testing. : Springer Berlin Heidelberg, 2012.