@misc{14545,
  author = {Shaukat Ali and Tao Yue},
  title = {A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines},
  year = {2012},
  number = {2012-16},
  publisher = {Simula Research Laboratory},
  note = {This technical report is an early version of a published conference paper. The published version can be found here:https://www.simula.no/publications/rigorous-and-comprehensive-analysis-effort-modeling-aspect-state-machines-results},
}