Automated model translations for vehicular real-time embedded systems with preserved semantics

Saad Mubeen, Mikael Sjödin, Jukka Mäki-Turja, Kurt-Lennart Lundbäck, Peter Wallin. Automated model translations for vehicular real-time embedded systems with preserved semantics. SIGBED Review, 10(2):30, 2013. [doi]

@article{MubeenSMLW13,
  title = {Automated model translations for vehicular real-time embedded systems with preserved semantics},
  author = {Saad Mubeen and Mikael Sjödin and Jukka Mäki-Turja and Kurt-Lennart Lundbäck and Peter Wallin},
  year = {2013},
  doi = {10.1145/2518148.2518168},
  url = {http://doi.acm.org/10.1145/2518148.2518168},
  researchr = {https://researchr.org/publication/MubeenSMLW13},
  cites = {0},
  citedby = {0},
  journal = {SIGBED Review},
  volume = {10},
  number = {2},
  pages = {30},
}