Model-Based Implementation of Parallel Real-Time Systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis

Browse the full FASE paper archive.