@incollection{GeyerHillerMeinert2010, author = {Geyer, Markus and Hiller, Benjamin and Meinert, Sascha}, title = {Modeling}, series = {Algorithm Engineering}, volume = {5971}, booktitle = {Algorithm Engineering}, editor = {M{\"u}ller-Hannemann, Matthias and Schirra, Stefan}, publisher = {Springer}, pages = {16 -- 57}, year = {2010}, language = {en} }