Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets. - Markus Frank; M. Alireza Hakamian; Stefen Becker (ECSA Companion, 2020)