A Refinement Driven Component-Based Design.

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn

Browse the full ICECCS paper archive.