Ein heuristisches Baumsuchverfahren der ganzzahligen Programmierung und seine Anwendung zur Erreichbarkeitsanalyse bei Kommunikationsprotokollen