Gravar-mail: The DS-Pnet modeling formalism for cyber-physical system development