Kanade, Sudhan (2004) A novel approach for generating test suites for component-based safety critical systems. Masters thesis, Concordia University.