@conference{Stil15a, address = {Heidelberg, Germany}, author = {Stiller, Burkhard}, month = {jun}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Schengen Routing: A Compliance Analysis}, year = {2015} }