Автоматизированные системы управления, метро Пражская