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