Павел Буренин, «Лаборатория Касперского» - Аспекты автоматизации и формализации работы с архитектуро