The same has been proposed for UML [1], but we propose the opposite: use only the minimum necessary to specify system functionality. We then use model mappings, coupled with marks that indicate which ...