On the Formalization of Signal-Flow-Graphs in HOL

Publication
Technical report, ECE Department, Concordia University, Montreal, QC, Canada