Gravar-mail: Visual Self-healing Modelling for Reliable Internet-of-Things Systems