Ein heuristisches Baumsuchverfahren der ganzzahligen Programmierung und seine Anwendung zur Erreichbarkeitsanalyse bei Kommunikationsprotokollen. - Felix Baessler (1990)