Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming | IEEE Journals & Magazine | IEEE Xplore