A hybrid methodology to detect memory leaks in soft real time embedded systems software
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).