UML-Based Test Cases Selection and Prioritisation in Regression Testing by Jin Kunxiang
and
Knowledge Driven Synthesis Using Resource-Capability Specifications for Control Software Design by Amar Banerjee