Focus+Context Metro Maps
Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming