What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.