The Development and Application of Formal Design Transformations in ForSyDe