Jose-Inacio Rocha, Octavio Pascoa Dias, Luis Gomes. Semi-formal method design using synchronous dataflows and Petri nets. In IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, Florence, Italy, October 23-26, 2016. pages 1043-1048, IEEE, 2016. [doi]
Abstract is missing.