Slide 1 Don Batory UT-Austin Computer Sciences ASM’071 Feature Modularized Theorems in Software Product Lines Don Batory Department of Computer Sciences University of Texas…