Gravar-mail: Dependability validation techniques for electronic systems