A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing | IEEE Conference Publication | IEEE Xplore