Programming deterministic reactive systems with Synchronous Java | IEEE Conference Publication | IEEE Xplore