A formal model inspired on human decision-making process | IEEE Conference Publication | IEEE Xplore