Refinements and multi-dimensional separation of concerns. - Don S. Batory; Jia Liu; Jacob Neal Sarvela (ESEC / SIGSOFT FSE, 2003)

Scaling Step-Wise Refinement. - Don S. Batory; Jacob Neal Sarvela; Axel Rauschmayer (IEEE Trans. Software Eng., 2004)

Lifting transformational models of product lines: a case study. - Greg Freeman; Don S. Batory; R. Greg Lavender; Jacob Neal Sarvela (Softw. Syst. Model., 2010)