Towards an aspect language for bus protocols. - Kathi Fisler; Paul Freitas; Dan Bjorge (DSAL@AOSD, 2012)