Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs.

Randy Paredis, Joachim Denil, Hans Vangheluwe

Browse the full WSC paper archive.