Shashidhar, K. C. Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Shahbaz, M., Shashidhar, K. C., & Eschbach, R. (2011). Iterative Refinement of Specification for Component Based Embedded Systems. In M. B. Dwyer, & F. Tip (Eds.), 2011 International Symposium on Software Testing and Analysis (ISSTA 2011) (pp. 276-286). New York, NY: ACM.