Email FI identification and resolution with model checking. - André Vicente Calvinho; Rui Gustavo Crespo (J. Netw. Comput. Appl., 2011)