Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar. A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures. IEEE Trans. Industrial Informatics, 12(2):655-671, 2016. [doi]
Abstract is missing.