Felice Balarin;Alberto L. Sangiovanni-Vincentelli
-;-
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Automatic effective verification method for distributed and concurrent systems using timed language inclusion
Engineering of distributed control systems