ILP-based path analysis on abstract pipeline state graphs. - Ingmar Jendrik Stein (2010)