@book{ BB13957738,
  author    = "Sangiovanni-Vincentelli, Alberto and Zeng, Haibo and Di Natale, Marco and Marwedel, Peter",
  title     = "Embedded systems development : from functional models to implementations",
  publisher = "Springer",
  year      = "2013",
  series    = "Embedded systems / Nikil Dutt, Grant Martin, Peter Marwedel, series editors",
  number    = "20",
  URL       = "https://ci.nii.ac.jp/ncid/BB13957738"
}