Debugging assertion failures in software controllers using a reference model. - Kajori Banerjee; M. Santhosh Prabhu; Pallab Dasgupta (ISEC, 2013)

Acceptance and random generation of event sequences under real time calculus constraints. - Kajori Banerjee; Pallab Dasgupta (DATE, 2014)