Semi-formal method design using synchronous dataflows and Petri nets | IEEE Conference Publication | IEEE Xplore