The application of Aspectual Feature Module in the development and verification of SystemC models | IEEE Conference Publication | IEEE Xplore