Component-Based Design and Analysis: A Case Study.

Yan Jin, Charles Lakos, Robert Esser

Browse the full SEFM paper archive.