The General Algorithm for the Design of the MDA Transformation Models. - Marek Tavac; Viliam Tavac (CICSyN, 2013)