Toward a well-founded theory for multi-level conceptual modeling. - Carvalho, Victorio A.; Almeida, João Paulo A. (Software & Systems Modeling, 2018)