All My Research is Formal Models Driven