Modeling reactive systems in Java