Revisiting a Formal Framework for Modeling Aspects in the Design Phase | IEEE Conference Publication | IEEE Xplore