Function-Oriented Decomposition for Reactive Embedded Software
A survey on reactive programming