Requirement-driven approach to interoperable traveler support system specification | IEEE Conference Publication | IEEE Xplore