A. Reverse-Engineering Tests into Blueprint Requirements B. Support for Non-Functional Requirements in Zeligsoft tools C. Model-Based Acceptance Testing