Creating Internet of Things Applications from Building Blocks
by Frank Alexander Kraemer and Peter Herrmann
Reactive Blocks is a toolkit to create, analyse and implement reactive applications. It helps developers to get concurrency issues right, reuse existing solutions, and brings model checking to the common programmer.