Aspect-based On-the-Fly Testing Technique for Embedded Software Topics: Aspects Interference and Composition; Aspects Testing and Verification; Modularity with Aspects In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 375-380, 2012 , Rome, Italy