Links for self-checking-algorith-model