The Crescendo Tool

Formal design and modelling using Co-Simulation

The book “Collaborative Design for Embedded Systems” can be fetched from Springer’s web site.