User submitted content on september 08, 2011

aspect - aspect-oriented-modeling-and-verification-with-finite-state-machines.pdf