A case study on system-level modeling by aspect-oriented programming | IEEE Conference Publication | IEEE Xplore