Automatic and configurable instrumentation of C programs with temporal assertion checkers | IEEE Conference Publication | IEEE Xplore