A pure Functional Reactive Programming implementation using a discrete time model