A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures | IEEE Journals & Magazine | IEEE Xplore