1 “... and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability...”

2 “...). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional...”

3 “...-level abstraction, where software components are dominant, several optimization steps are demonstrated...”

4 “... in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness...”