Generating Hierarchical State Machines from Use Case Charts. - Jon Whittle 001; Praveen K. Jayaraman (RE, 2006)

UCSIM: A Tool for Simulating Use Case Scenarios. - Praveen K. Jayaraman; Jon Whittle 001 (ICSE Companion, 2007)

Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. - Praveen K. Jayaraman; Jon Whittle 001; Ahmed M. Elkhodary; Hassan Gomaa (MoDELS, 2007)

MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. - Jon Whittle 001; Praveen K. Jayaraman (MoDELS (Workshops), 2007)

An Expressive Aspect Composition Language for UML State Diagrams. - Jon Whittle 001; Ana Moreira 001; João Araújo 001; Praveen K. Jayaraman; Ahmed M. Elkhodary; Rasheed Rabbi (MoDELS, 2007)

MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation. - Jon Whittle 001; Praveen K. Jayaraman; Ahmed M. Elkhodary; Ana Moreira 001; João Araújo 001 (LNCS Trans. Aspect Oriented Softw. Dev., 2009)

Synthesizing hierarchical state machines from expressive scenario descriptions. - Jon Whittle 001; Praveen K. Jayaraman (ACM Trans. Softw. Eng. Methodol., 2010)