SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics | IEEE Conference Publication | IEEE Xplore