Machine−Assisted Theorem−Proving for Software Engineering - Martin, A (2015)