Arshad Jhumka Martin Hiller Vilgot Claesson Neeraj Suri On systematic design of globally consistent executable assertions in embedded software. 75-84 2002 conf/lctrts/2002 LCTES-SCOPES http://doi.acm.org/10.1145/513829.513843 db/conf/lctrts/lctes2002.html#JhumkaHCS02