Models@run.time: a guided tour of the state of the art and research challenges