Iterative refinement of specification for component based embedded systems.

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach

Browse the full ISSTA paper archive.