David J. Lu Edward J. McCluskey Masood Namjoo Summary of Structural integrity Checking. 107-109 1980 conf/rtss/1980 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1980.html#LuMN80