ABSTRACT
Electronic embedded systems are not new, but their pervasive introduction in ordinary-life objects (cars, phones, home appliances) brought a new focus on design methods for such systems. New development techniques are needed to meet the challenges of productivity in a competitive environment. is book reports on a number of such innovative approaches to the matter. We concentrate here on synchronous reactive (S/R) languages [,,,].
