Formal specification at model-level of model-driven engineering using modelling techniques

- Jnanamurthy, H. K., Henskens, Frans, Paul, David, Wallis, Mark

Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones

- Hogavanaghatta Kumaraswamy, Jnanamurthy

Verification of interactive automated air traffic control system in a model driven approach

- Jnanamurthy, H. K., Henskens, Frans, Paul, David

Verification and validation and complex environments: a study in service sector

- Jenkins, Roger, Deshpande, Yogesh, Davison, Graydon