Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri. On systematic design of globally consistent executable assertions in embedded software. In 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, ACM, 2002. [doi]