AccurateModelingoftheSiemensS7SCADAProtocolforIntrusionDetectionandDigitalForensics