Gravar-mail: Dynamic contracts for verification and enforcement of real-time systems properties