• M. Alwinain, B. Bordbar, J. K. F.Bowles , "Automated Composition of Sequence Diagrams via Alloy", In Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on, pp. 384-391. IEEE, 2014.[PDF].
  • J. K. F.Bowles, M. Alwinain, B. Bordbar, "Matching and Merging Scenarios Automatically with Alloy",Model-Driven Engineering and Software Development. Volume 506 of the series Communications in Computer and Information Sciencei, pages 100-116.[Link].
  • J. K. F.Bowles, B. Bordbar, M. Alwinain, "A logical approach for behavioural composition of scenario-based models", In proceeding of the 17th International Conference on Formal Engineering Methods, 9407, pp.252-269, 2015.[PDF].
  • J. K. F.Bowles, B. Bordbar, M. Alwinain, "Weaving True-Concurrent Aspects using Constraint Solvers", accepted for publication in ACSD 2016..