Send a message to System Analysis and Verification - SAVe Lab