A software control flow checking technique in multi-core processors. - Mohammad Reza Heidari Iman; Pejman Yaghmaie (Int. J. Embed. Syst., 2020)