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