Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems - Ramesh, S. (Springer Netherlands, 2020)