This page presents selected publications on the theoretical foundation of the design approach implemented in the software as well as its applications over concrete examples.