Software by Engineering Power Tools