João Paulo A. Almeida, Fernando A. Musso, Victorio Albani de Carvalho, Claudenir M. Fonseca, Giancarlo Guizzardi: Capturing Multi-level Models in a Two-Level Formal Modeling Technique. ER 2019: 43-51