Reentrancy Optimization Rationale: A Pragmatic Approach. - Rachna Dhand (PDPTA, 2003)

Analytical Temporal Specification Issues for Industrial Control Systems. - Rachna Dhand; Gareth Lee; Graeme Cole (AINA Workshops, 2010)