Evolving specifications formally. - Prahladavaradan Sampath; Silky Arora; S. Ramesh 002 (RE, 2011)

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. - Silky Arora; Ambar A. Gadkari; S. Ramesh 002 (IEEE Embed. Syst. Lett., 2011)

Resolving uncertainty in automotive feature interactions. - Silky Arora; Prahladavaradan Sampath; S. Ramesh 002 (RE, 2012)

Systematic Development of Control Designs via Formal Refinement. - Manoranjan Satpathy; Colin F. Snook; Silky Arora; S. Ramesh 002; Michael J. Butler (MODELSWARD, 2013)