Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking | Publicación