Synchronous_reactive_systems/README.md