Gravar-mail: A WSSL Implementation for Critical CyberPhysical Systems Applications