@article{DBLP:journals/jip/IshigookaSP0S17,
  author    = {Tasuku Ishigooka and
               Habib Saissi and
               Thorsten Piper and
               Stefan Winter and
               Neeraj Suri},
  title     = {Safety Verification Utilizing Model-based Development for Safety Critical
               Cyber-Physical Systems},
  journal   = {J. Inf. Process.},
  volume    = {25},
  pages     = {797--810},
  year      = {2017},
  url       = {https://doi.org/10.2197/ipsjjip.25.797},
  doi       = {10.2197/ipsjjip.25.797},
  timestamp = {Thu, 04 Jun 2020 19:35:57 +0200},
  biburl    = {https://dblp.org/rec/journals/jip/IshigookaSP0S17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}