Ameedeen , Mohamed Ariff (2012) A model driven approach to analysis and synthesis of sequence diagrams. Ph.D. thesis, University of Birmingham.