Fenglin Han: Model-Driven Engineering of Complex Systems Supporting the Design of Reactive Systems with Augmented Modeling and Verification Mechanisms. Norwegian University of Science and Technology, Trondheim, Norway 2020