Feature Modularized Theorems in Software Product Lines Don Batory Department of Computer Sciences University of Texas at Austin ASMâ07 Introduction My research is at intersection…