@Book{Zander2012,
  title        = {Model-based testing for embedded systems},
  editor       = {Justyna Zander and Ina Kathrin Schieferdecker and Pieter J. Mosterman},
  isbn         = {9781439818459},
  doi          = {10.1201/b11321},
  volume       = {13},
  numpages    = {660},
  publisher    = {CRC press},
  series       = {Computational analysis, synthesis, and design of dynamic systems},
  url          = {http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10519709},
  ppn_gvk      = {656697717},
  year         = {2012},
  type			= {book}
}