Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper) | Publicación