From UML diagrams to simulink models: a precise and verified translation.

Andrei Costa, Simone Andr da Costa Cavalheiro, Luciana Foss, Leila Ribeiro

Browse the full SAC paper archive.