Composability and compositionality in CAN-based automotive systems based on bus and star topologies | IEEE Conference Publication | IEEE Xplore