Semi-formal method design using synchronous dataflows and Petri nets.

Jos-Incio Rocha, Octvio Pscoa Dias, Lus Gomes

Browse the full IECON paper archive.