Added pseudocode for Functional Reactive Models
Added figures