A Separation Principle for Embedded System Interfacing.

Lucian M. Patcas, Mark Lawford, Tom Maibaum

Browse the full IFM paper archive.