Towards a Systems Engineering Based Automotive Product Engineering Process. - Hassan Hage; Vahid Hashemi; Frank Mantwill (ECSA Companion, 2020)

SMC4PEP: Stochastic Model Checking of Product Engineering Processes. - Hassan Hage; Emmanouil Seferis; Vahid Hashemi; Frank Mantwill (FASE, 2022)