Gravar-mail: Adding uncertainty to real-time programming