This project is connected to the SMILE project at the University of Agder. In order to deal with the continuously increasing level of complexity in software, we need to use higher levels of abstraction. By using models ...