Testing real-time embedded systems using high level architecture

Jose Claudio Vieira S. Junior, Alisson V. Brito, Luis Feliphe S. Costa, Tiago Pereira do Nascimento, Elmar Uwe Kurt Melcher. Testing real-time embedded systems using high level architecture. Design Autom. for Emb. Sys., 20(4):289-309, 2016. [doi]

@article{JuniorBCNM16,
  title = {Testing real-time embedded systems using high level architecture},
  author = {Jose Claudio Vieira S. Junior and Alisson V. Brito and Luis Feliphe S. Costa and Tiago Pereira do Nascimento and Elmar Uwe Kurt Melcher},
  year = {2016},
  doi = {10.1007/s10617-016-9178-0},
  url = {http://dx.doi.org/10.1007/s10617-016-9178-0},
  researchr = {https://researchr.org/publication/JuniorBCNM16},
  cites = {0},
  citedby = {0},
  journal = {Design Autom. for Emb. Sys.},
  volume = {20},
  number = {4},
  pages = {289-309},
}