Weaving aspects into C++ applications for validation of temporal invariants | IEEE Conference Publication | IEEE Xplore