Model checking of UML models via a mapping to communicating extended timed automata
Iulian Ober, Susanne Graf, Ileana Ober · 2003
We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata - in the IF format - and the use of the existing model-checking and simulation tools for this format.