Jakub Danek, Premek Brada: Finding Optimal Compatible Set of Software Components Using Integer Linear Programming. SOFSEM 2016: 457-468