@inproceedings{DBLP:conf/lctrts/JhumkaHCS02,
  author    = {Arshad Jhumka and
               Martin Hiller and
               Vilgot Claesson and
               Neeraj Suri},
  editor    = {Peter Marwedel and
               Srinivas Devadas},
  title     = {On systematic design of globally consistent executable assertions
               in embedded software},
  booktitle = {Proceedings of the 2002 Joint Conference on Languages, Compilers,
               and Tools for Embedded Systems {\&} Software and Compilers for
               Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June
               2002},
  pages     = {75--84},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://doi.org/10.1145/513829.513843},
  doi       = {10.1145/513829.513843},
  timestamp = {Tue, 06 Nov 2018 16:58:21 +0100},
  biburl    = {https://dblp.org/rec/conf/lctrts/JhumkaHCS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}