On the Formalization of Signal-Flow-Graphs in HOL