Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis | IEEE Conference Publication | IEEE Xplore