Gravar-mail: An Implementation of Protocol Analysis and the Silent Dog Method in the Area of Behavioral Safety