Model-based development of embedded control systems: historical perspective and recent advances.

Paul Caspi

Browse the full ISoLA paper archive.